Web Service Mining and Verification of Properties: An approach based on Event Calculus (withdrawn due to plagiarism of first author)

Rouached, M.; Gaaloul, W.; van der Aalst, Wil M. P.; Bhiri, S.; Godart, C.

(2006)
Contribution to a conference proceedings

In: On the Move to Meaningful Internet Systems 2006,OTM Confederated International Conferences,14th International Conference onCooperative Information Systems (CoopIS 2006)
Page(s)/Article-Nr.: 408-425

Institutions

• Department of Computer Science [120000]
• Chair of Computer Science 9 (Process and Data Science) [122510]