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

 -  IEEE  2014 
<br/><br/><label>Source: </label>EBOOK