Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 international conference on formal description techniques IX/Protocol specification, testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996 
edited by Reinhard Gotzhein and Jan Bredereke 
 - London  published by Chapman & Hall on behalf of the International Federation for Information Processing  c1996 
 - vii, 516 p. : ill. ; 25 cm 
<br/><br/> Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9780412794902 
<br/><br/><label>ISSN: </label>2001275409 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer network protocols - Congresses<br/>Computer programming - Congresses<br/>Electronic data processing - Distributed processing - Congresses<br/>Formal languages - Congresses<br/>Formal methods (Computer science)
<br/><br/><label>Dewey Class. No.: </label>004.62 NWR