Bibtex de la publication

@Proceedings{ Ai2012.3,
editor = {Ait-Sadoune, Idir and Ait Ameur, Yamine},
title = "{Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification, Vienne, Autriche, 02/09/2014 - 06/09/2014}",
year = {2012},
month = {septembre},
publisher = {Springer-Verlag},
address = {http://www.springerlink.com/},
language = {francais},
series = {LNCS},
number = {7446}
}