Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]