Tari, Zahir. , <br/><br/>
Verification of communication protocols in web services :  model-checking service compositions / 
Zahir Tari, Peter Bertok,Anshuman Mukherjee. 
 - xii, 256 pages :  illustrations ;  25 cm. 
 - Wiley series on parallel and distributed computing ;  83 .
<br/><br/><label>ISBN: </label>9780470905395 0470905395 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Web services--Testing.<br/>Computer network protocols.<br/>COMPUTERS / Computer Engineering.
<br/><br/><label>LC Class. No.: </label>TK5105.88813   / .T37 2013