TY  - BOOK
AU  - Mukherjee,Anshuman
AU  - Tari,Zahir
AU  - Bertok,Peter
TI  - Verification of communication protocols in web services: model-checking service compositions 
T2  - Wiley series on parallel and distributed computing
SN  - 9780470905395 (hardback)
PY  - 2014///
CY  - Hoboken, New Jersey
PB  - Wiley
KW  - Web services
KW  - Testing
KW  - Computer network protocols
N2  - 'Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields'--
ER  -