Publikationen

In: J. Woodcock , M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in Formal Methods. Formal Methods Europe (FME-96) 3rd March 17-21 Oxford United Kingdom Seiten 168-286 Lecture Notes In Computer Science (LNCS) 1051 ISBN 3-540-60973-3 Springer-Verlag London, UK 1996.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence