TY  - BOOK
AU  - Tari,Zahir
AU  - Mukherjee,Anshuman
AU  - Bertók,Péter
TI  - Verification of communication protocols in web services: model-checking service compositions 
T2  - Wiley series on parallel and distributed computing
AV  - TK5105.88813 .M85 2014eb
U1  - 004.6/2 23
PY  - 2014///]
CY  - Hoboken, New Jersey
PB  - Wiley
KW  - Web services
KW  - Testing
KW  - Computer network protocols
KW  - Electronic books
N1  - Includes bibliographical references and index
N2  - "Provides implementation details of each networking type to help readers to be able to set up Sensor networks in their related job fields"--
UR  - http://site.ebrary.com/lib/daystar/Doc?id=10780707
ER  -