TY  - BOOK
AU  - Holzmann, Gerard J
TI  - Design and validation of computer protocols
SN  - 135399254
CY  - New Jersy
KW  - Computer network protocols -- Design
KW  - Internet protocols -- Design tools
N1  - Includes index
ER  -