Bibtex de la publication

@InProceedings{ Dr2013.11,
author = {Dragomir, Iulia and Ober, Iulian and Percebois, Christian},
title = "{Safety contracts for timed reactive components (regular paper)}",
booktitle = "{Journées nationales du GDR CNRS Programmation et Logiciel, Nancy, 03/04/2013-05/04/2013}",
editor = {Duchien, Laurence},
year = {2013},
month = {avril},
publisher = {Université de Lorraine},
address = {http://www.univ-lorraine.fr},
pages = {37--46},
language = {anglais},
URL = {http://hal.inria.fr/docs/00/82/05/53/PDF/20130322_actes-gdr-gpl.pdf}
}