Protocol specification, testing, and verification, III  proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing, and Verification, Ruschlikon, Switzerland, 31 May-2 June 1983 
organized by IBM Research edited by Harry Rudin and Colin H. West 
 - Amsterdam  North-Holland  1983 
 - 531p. ill. 24cm 
<br/><br/> Includes bibliographical references 
<br/><br/><label>LCCN: </label>83-16300 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols--Congresses