Cover Image

Formal methods for communication protocol specification and verification /

Bibliographic Details
Main Author: Sunshine, Carl A.
Corporate Authors: Rand Corporation, United States. National Bureau of Standards, United States. Defense Advanced Research Projects Agency
Format: Book
Language:English
Published: Santa Monica, Calif. : Rand, [1979]
Series:Rand note ; N-1429-ARPA/NBS.
Subjects:
Computer networks.
Description
Item Description:"Prepared for the Defense Advanced Research Projects Agency and the National Bureau of Standards."
Includes index.
"November 1979."
Physical Description:ix, 93 pages : illustrations ; 28 cm.
Bibliography:Bibliography: pages 48-61.