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]
No references recorded for this publication.
No citations of this publication recorded.