Protocol specification, testing, and verification, III
Subtitle: proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Rüschlikon, Switzerland, 31 May-2 June, 1983
By: organized by IBM Research ; edited by Harry Rudin and Colin H. West.
Contributors: Rudin, Harry, 1937-; West, Colin H., 1939-; IBM Zürich Research Laboratory.
Publisher: North-Holland; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Published: 1983
Place of publication: Amsterdam; New York; New York, N.Y
Language: eng
Number of pages: 531
Subjects: Computer network protocols -- Congresses.
Notes: Includes bibliographies.