Bibtex de la publication

@Article{ Ai2013.5,
author = {Ait-Sadoune, Idir and Ait Ameur, Yamine},
title = "{Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification}",
journal = {Transactions on Large-Scale Data- and Knowledge-Centered Systems},
publisher = {BADSpringer},
year = {2013},
month = {mars},
volume = {10},
pages = {1--33},
language = {anglais}
}