Bibtex de la publication

@InProceedings{ Dr2014.1,
author = {Dragomir, Iulia and Ober, Iulian and Percebois, Christian},
title = "{Safety contracts for timed reactive components (regular paper)}",
booktitle = "{International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2014), NovĂ˝ Smokovec, Slovakia, 25/01/14-30/01/14}",
year = {2014},
month = {janvier},
publisher = {Springer},
address = {http://www.springerlink.com},
volume = {8327},
series = {LNCS},
pages = {211--222},
language = {anglais},
URL = {http://oatao.univ-toulouse.fr/12887/}
}