TY  - BOOK
AU  - Diaz, Michel
TI  - Protocol specification, testing and verification
PY  - 1986///
CY  - Amsterdam
PB  - North-Holland Publishing Company
KW  - Computer science
KW  - Protocol specification, testing and verification
KW  - protocol specification
KW  - protocol testing
KW  - protocol verification
ER  -