A Formal Approach for the Validation of Web Service Orchestrations

Wael Sellami, Hatem Hadj Kacem, Ahmed Hadj Kacem. A Formal Approach for the Validation of Web Service Orchestrations. IJWP, 5(1):41-54, 2013. [doi]

Authors

Wael Sellami

This author has not been identified. Look up 'Wael Sellami' in Google

Hatem Hadj Kacem

This author has not been identified. Look up 'Hatem Hadj Kacem' in Google

Ahmed Hadj Kacem

This author has not been identified. Look up 'Ahmed Hadj Kacem' in Google