Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.

Yamine At Ameur, Idir At-Sadoune

Browse the full DEXA paper archive.