Sunshine, Carl A., <br/><br/>
Survey of communication protocol verification techniques / 
Carl A. Sunshine   
 - 7 pages ;  28 cm. 
 - The Rand paper series;  P-5725 .
 - Rand paper series;  P-5725  .
<br/><br/>Includes bibliographical references (pages 5-7) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computers.