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

 -  IEEE 
<br/><br/><label>ISBN: </label>9781118720103 
<br/><br/><label>Subjects--Topical Terms: </label><br/>"Communication, Networking and Broadcast Technologies"