Zahir Tari

Verification of Communication Protocols in Web Services. Model-Checking Service Compositions