Web service mining and verification of properties: An approach based on event calculus

Mohsen Rouached^*, Walid Gaaloul, Wil M.P. Van Der Aalst, Sami Bhiri, Claude Godart

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution