Holzmann, Gerard J <br/><br/>
Design and validation of computer protocols 

 - New Jersy  Prentice-Hall  1991 
 - xii, 500p. : ill. 
<br/><br/> Includes index. 
<br/><br/><label>ISBN: </label>135399254 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols -- Design<br/>Internet protocols -- Design tools