TY  - BOOK
AU  - Sunshine Carl
ED  - IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification( 2nd : 1982 : California )
ED  - IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification 2nd
TI  - Protocol specification, testing and verification : proceedings
SN  - 0-444-86481-4
U1  - 5.14 
PY  - 1982///
CY  - Amsterdam
PB  - North Holland
KW  - Computer science
KW  - Protocol specification
ER  -