56925

4375084

Tari

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

Wiley

2013

0470905395;111872013;9781118720103;1118720105;9781118720134;9780470905395