Protocol specification, testing and verification, IV
Subtitle: proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing and Verification, organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A. June 11-14, 1984
By: edited by Yechiam Yemini, Robert Strom and Shaula Yemini.
Contributors: Yemini, Yechiam.; Strom, Robert.; Yemini, Shaula.; Columbia University.
Publisher: North-Holland
Published: 1985
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 720
Subjects: Computer network protocols.