TY  - BOOK
AU  - Tari,Zahir
AU  - Bertok,Peter
AU  - Mukherjee,Anshuman
TI  - Verification of communication protocols in web services: model-checking service compositions 
T2  - Wiley series on parallel and distributed computing
SN  - 9780470905395
AV  - TK5105.88813  .T37 2013
KW  - Web services
KW  - Testing
KW  - Computer network protocols
KW  - COMPUTERS / Computer Engineering
ER  -