Protocol specification, testing, and verification, V
Subtitle: proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985
By: edited by Michel Diaz.
Contributors: Diaz, Michel, 1945-; Centre national de la recherche scientifique. Laboratoire d'automatique et d'analyse des systèmes.
Publisher: North-Holland
Published: 1986
Place of publication: Amsterdam; Oxford
Language: eng
Number of pages: 544
Subjects: Computer network protocols.
Notes: Includes bibliographies.