Bibtex de la publication

@Article{ Hu2015.1,
author = {Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wai-Tek},
title = "{Simulation of real-time systems with clock calculus}",
journal = {Simulation Modelling Practice and Theory},
publisher = {Elsevier Science},
address = {http://www.elsevier.com},
year = {2015},
month = {février},
volume = {51},
pages = {69--86},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/13268/}
}