TY  - BOOK
AU  - Holzmann, Gerard J.,
TI  - Design and validation of computer protocols
T2  - Prentice hall software series
SN  - 0135399254
AV  - TK105.5 H65
PY  - 1991///
CY  - Englewood cliffis, new jersey
PB  - Prentice Hall
KW  - Protocolos de redes de computadoras
KW  - Diseño
ER  -