Formal Approaches for Synthesis of Web Service Business Protocols - Archive ouverte HAL
Communication Dans Un Congrès Année : 2012

Formal Approaches for Synthesis of Web Service Business Protocols

Lhouari Nourine

Dates et versions

hal-02078297 , version 1 (25-03-2019)

Identifiants

Citer

Lhouari Nourine, Farouk Toumani. Formal Approaches for Synthesis of Web Service Business Protocols. Web Services and Formal Methods - 9th International Workshop, 2012, Tallinn, Estonia. pp.1--15, ⟨10.1007/978-3-642-38230-7_1⟩. ⟨hal-02078297⟩
16 Consultations
0 Téléchargements

Altmetric

Partager

More