Bibtex de la publication

@InProceedings{ Ch2015.17,
author = {Chevrou, Florent and Hurault, Aurélie and Mauran, Philippe and Ouederni, Meriem and Quéinnec, Philippe and Thirioux, Xavier},
title = "{La composition de services dans le monde asynchrone Formalisation et v ́erification en TLA+ (short paper)}",
booktitle = "{Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Bordeaux, 09/06/2015-10/06/2015}",
editor = {Dadeau, Frédéric and Le Gall, Pascale},
year = {2015},
month = {juin},
publisher = {CNRS - GDR GPL},
address = {http://gdr-gpl.cnrs.fr},
pages = {34--39},
language = {francais},
URL = {http://events.femto-st.fr/sites/femto-st.fr.afadl-2015/files/content/proceedings/afadl2015.pdf - http://oatao.univ-toulouse.fr/15360/},
note = {}
}