Design and validation of computer protocols
By: Gerard J. Holzmann.
Series: Prentice Hall software series
Publisher: Prentice-Hall International
Published: 1991
Place of publication: London
Language: eng
Number of pages: 500
Subjects: Computer networks.
Notes: Bibliography: p351-368. - Includes index.