TY  - BOOK
ED  - IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification
ED  - Rudin, Harry, 1937-
ED  - West, Colin H., 1939-
ED  - IBM Zurich Research Laboratory
TI  - Protocol specification, testing, and verification, III: proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Ruschlikon, Switzerland, 31 May-2 June 1983
PY  - 1983///
CY  - Amsterdam
PB  - North-Holland
KW  - Computer network protocols
KW  - Congresses
N1  - Includes bibliographical references
ER  -