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.