TY - GEN

AU - Tari, Zahir

AU - Institute of Electrical and Electronics Engineers

AU - IEEE Computer Society

AU - Bertók, Péter

AU - Mukherjee, Anshuman

TI - Verification of communication protocols in web services model-checking service compositions

PB - Wiley

KW - Web services ; Testing

KW - Computer network protocols

KW - Electronic books

KW - Electronic books ; local

PY - [2014]

N2 - Includes bibliographical references and index. - Description based on print version record

BT - Wiley series on parallel and distributed computing ; 83

CY - Hoboken, New Jersey

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -