Bibtex de la publication

@InProceedings{ He2014.2,
author = {Herbegue Bouhachem, Hajer and Filali, Mamoun and Cassé, Hugues},
title = "{Formal Architecture Specification for Time Analysis (regular paper)}",
booktitle = "{International Conference on Architecture of Computing Systems (ARCS), Lubeck, Germany, 25/02/2014-28/02/2014}",
year = {2014},
month = {février},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
series = {LNCS},
number = {8350},
pages = {98--110},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/12944/}
}