2 books • 1 series
Verification of Communication Protocols in Web Services (Wiley Series on Parallel and Distributed Computing, #83)
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing)