Protocol specification, testing, and verification III
Subtitle: proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification
By: organised by IBM Research Rüschlikon, Switzerland, 31 May-2 June, 1983 ; edited by Harry Rudin and Colin H. West.
Contributors: Rudin, Harry.; West, Colin H.; IBM Zürich Research Laboratory.
Publisher: North-Holland
Published: 1983
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 531
Subjects: Computer network protocols.