Protocol specification, testing, and verification, XV :  proceedings of the IFIP WG 6.1 Fifth International Symposium on Protocol Specification, Testing, and Verification / 
Warsaw,Poland, June 1995 ; edited by Piotr Dembinski and Marek Sredniawa 
 - London :  Chapman & Hall.,  1996 
 - vii, 455 p. :  ill. ;  24 cm. 
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0412716208 
<br/><br/><label>LCCN: </label>85-025248 
<br/><br/><label>LC Class. No.: </label>TK5105.5  / .I3426 1985