TY  - BOOK
AU  - GERALD J HOLZMANN
TI  - DESIGN AND VALIDATION OF COMPUTER PROTOCOLS
SN  - 0135399254
U1  - 004.62             N 
PB  - PRENTICE-HALL
KW  - COMPUTER SCIENCE
KW  - NETWORKS
ER  -