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 /
IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques(9th :1996 :Kaiserslautern, Germany)
Gotzhein, Reinhard.
Bredereke, Jan.
International Federation for Information Processing.
IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification(16th :1996 :Kaiserslautern, Germany)
London : published by Chapman & Hall on behalf of the International Federation for Information Processing,
1996.
Includes bibliographical references and index
Formal languages
Electronic data processing
Electronic data processing