Verification of Communication Protocols in Web Services: Model-Checking ...
Zahir Tari, Peter Bertok, Anshuman Mukherjee