Sakib <br/><br/>
Verification of Communication Protocols in Web Services: Model-Checking Service Compositions 

 - 1 
 -  Wiley-IEEE Press  2014 
 -  fulltext 
<br/><br/><label>ISBN: </label>9780470905395 9781118720134 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Networking and Broadcast Technologies<br/>Communication