Bibtex de la publication

@InProceedings{ PoPaQu2008.4,
author = {Pontisso, Nadège and Padiou, Gérard and Quéinnec, Philippe},
title = "{Cohérence temporelle des calculs répartis embarqués}",
booktitle = "{Formalisation des Activités Concurrentes (FAC), Toulouse, France, 03/04/2008-04/04/2008}",
year = {2008},
month = {avril},
publisher = {CNRS},
address = {http://www.cnrs.fr},
pages = {(en ligne)},
language = {français},
URL = {http://www.cert.fr/feria/svf/FAC/2008/actes.html},
note = {}
}