Model Checking Verification of Web Services Composition.

Abdallah Missaoui, Zohra Sba, Kamel Barkaoui

Browse the full ICSoft paper archive.