Protocol specification, testing, and verification, X
Subtitle: proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990
By: edited by Luigi Logrippo, Robert L. Probert, Hasan Ural.
Contributors: Logrippo, Luigi; Probert, Robert L.; Ural, Hasan
Publisher: North-Holland
Published: 1990
Place of publication: Amsterdam
Language: eng
Number of pages: 415
Subjects: Computer network protocols -- Congresses.
Notes: Includes bibliographical references.