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 - IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification 1983 : Ruschli ikon, Switzerland); Rudin, Harry, 1937-; West, Colin H., 1939-; IBM Zurich Research Laboratory (Amsterdam North-Holland, 1983)
Includes bibliographical references
1
Keywords: Computer network protocols -- Congresses