Idir Aït-Sadoune, Yamine Aït Ameur. Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. T. Large-Scale Data- and Knowledge-Centered Systems, 10:1-33, 2013. [doi]
@article{Ait-SadouneA13,
title = {Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification},
author = {Idir Aït-Sadoune and Yamine Aït Ameur},
year = {2013},
doi = {10.1007/978-3-642-41221-9_1},
url = {http://dx.doi.org/10.1007/978-3-642-41221-9_1},
researchr = {https://researchr.org/publication/Ait-SadouneA13},
cites = {0},
citedby = {0},
journal = {T. Large-Scale Data- and Knowledge-Centered Systems},
volume = {10},
pages = {1-33},
}