Protocol specification, testing, and verification, V : 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 /

Bibliographic Details
Corporate Authors: IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification Toulouse-Moissac, Laboratoire d'automatique et d'analyse des systèmes du C.N.R.S. (France)
Other Authors: Diaz, Michel, 1945-
Format: Conference Proceeding Book
Language:English
Published: Amsterdam ; Oxford : North-Holland, 1986.
Subjects:
Description
Physical Description:xi, 544 pages : illustrations ; 24 cm
Bibliography:Includes bibliographical references.
ISBN:0444878815
9780444878816