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]
Abstract is missing.