Publications

Publications of

Journal articles
  • Idir Ait-Sadoune, Yamine Ait Ameur

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

    In : Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, Vol. 10, pp. 1-33, March 2013.

    BibTeX

Proceedings

Department
Publication type
Criteria





Operator   AND   OR
Sort by