Protocol specification, testing, and verification :  proceedings of the IFIP WG 6.1, International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, June 1995 / 
edited by Piotr Dembinski and Marek Sredniawa 
 - 1st ed. 
 - London :  Chapman & Hall,  1996 
 - 8 v. :  ill. ;  23 cm. 
 - Annual 
 - 8th (June 7-10, 1988)-15th (June 1995) = 8-15 
 - 1992-1993: IFIP transactions C: Communication systems  0926-549X .
<br/><br/> Published : London ; New York : Chapman & Hall, 1994-1995  Separately cataloged beginning with vol. for 1996, when PSTV and the International Conference on Formal Description Techniques began holding joint international conferences. 
<br/><br/>Organized under the auspices of: IFIP Working Group 6.1. 
<br/><br/><label>ISBN: </label>0412716208  Hadiah 
 = Protocol specification, testing, and verification :  proceedings of the IFIP WG 6.1, International Symposium on Protocol Specification, Testing, and Verification, Warsaw, Poland, June 1995 / 
<br/><br/><label>LCCN: </label>sn 90-035386 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols--Congresses