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.
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)
- Department of Computer Science 
- Chair of Computer Science 9 (Process and Data Science)