Survey of communication protocol verification techniques
By: Carl A. Sunshine.
Series: The Rand paper series ; P-5725
Publisher: Rand Corp.
Published: 1976
Place of publication: Santa Monica, Calif
Language: eng
Subjects: Computers.
Notes: Cover title.

Bibliography : p. 5-7.