TY  - BOOK
AU  - Holzmann,Gerard J.
ED  - American Telephone and Telegraph Company
TI  - Design and validation of computer protocols
T2  - Prentice Hall software series
SN  - 0135399254
U1  - 004.62 22
PY  - 1991///
CY  - Upper Saddle River, United States
PB  - Prentice Hall
KW  - Computer network protocols
KW  - Design
KW  - COMSCI
KW  - March2014
KW  - text book
N1  - At head of title : AT & T; Includes indexes; Includes bibliographical references
ER  -