Verification of Communication Protocols in Web Services: Model-Checking Service Compositions Book Discussion
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing Book 83)
by
