TY  - BOOK
AU  - Bredereke, Jan
AU  - Gotzhein, Reinhard
ED  - IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (16th : 1996 : Kaiserslautern, Germany), International Conference on Formal Description Techniques (9th : 1996 : Kaiserslautern, Germany), International Federation for Information Processing
TI  - 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
SN  - 9780412794902
SN  - 200127540
U1  - 004.62 NWR 
PY  - 1996///
CY  - London
PB  - published by Chapman & Hall on behalf of the International Federation for Information Processing
KW  - Computer network protocols - Congresses
KW  - Computer programming - Congresses
KW  - Electronic data processing - Distributed processing - Congresses
KW  - Formal languages - Congresses
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index
ER  -