TY  - BOOK
AU  - Rudin Harry
ED  - IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 3rd : 1983 : Switzerland )
ED  - IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 3rd
TI  - Protocol specification, testing and verification : proceedings
SN  - 0-444-86769-4
U1  - 5.14 
PY  - 1983///
CY  - Amsterdam
PB  - North Holland
KW  - Computer science
KW  - Protocol specification
ER  -