Sunshine, Carl A. <br/><br/>
Formal methods for communication protocol specification and verification / 
Carl A. Sunshine ; prepared for the Defense Advanced Research Projects Agency and the National Bureau of Standards. 
 - California :  Rand Corporation,  1979. 
 - ix, 93 p. ;  28 cm. 
 - A Rand note ;  N-1429-ARPA/NBS .
 - Rand note ;  N-1429-ARPA/NBS. .
<br/><br/>Includes bibliographical references (p.48-61) and index 
<br/><br/><label>ISBN: </label> Hadiah 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer networks