Yamine Aït Ameur, Idir Aït-Sadoune. Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification. In Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou, editors, Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I. Volume 7446 of Lecture Notes in Computer Science, pages 9, Springer, 2012. [doi]
@inproceedings{AmeurA12,
title = {Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification},
author = {Yamine Aït Ameur and Idir Aït-Sadoune},
year = {2012},
doi = {10.1007/978-3-642-32600-4_2},
url = {http://dx.doi.org/10.1007/978-3-642-32600-4_2},
researchr = {https://researchr.org/publication/AmeurA12},
cites = {0},
citedby = {0},
pages = {9},
booktitle = {Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I},
editor = {Stephen W. Liddle and Klaus-Dieter Schewe and A Min Tjoa and Xiaofang Zhou},
volume = {7446},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-32599-1},
}