Protocol specification, testing, and verification, VIII :  Proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification : Atlantic City, New Jersey, USA, June 7-10, 1988 / 
Ed. by Sudhir Aggarwal, Krishan Sabnani. 
 - Amsterdam  New York :  North-Holland,  1988. 
 - xii, 421 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliogr. references and index 
<br/><br/><label>ISBN: </label>0444705422 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols--Congresses