Publications

Publications de

Articles dans une revue
  • Idir Ait-Sadoune, Yamine Ait Ameur

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

    Dans : Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer, Vol. 10, p. 1-33, mars 2013.

    BibTeX

Départements
Type de publication
Critères





Opérateur   ET   OU
Trier par