Publications

In: K. Breitman, A. Cavalcanti (editor). Proceedings of the 11th International Conference on Formal Engineering Methods. International Conference on Formal Engineering Methods (ICFEM-2009) December 9-12 Rio de Janeiro Brazil Lecture Notes in Computer Science (LNCS) 5885 Springer 2009.

To the publication

In: International Journal on Software Tools for Technology Transfer 3 1 Pages 66-77 Springer Berlin, Heidelberg 2000.

To the publication

In: Proc. 13th Intern. FLAIRS Conf.. International FLAIRS Conference (FLAIRS) AAAI Press 2000.

To the publication

In: J. Woodcock, M. C. Gaudel (editor). 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 Pages 168-286 Lecture Notes In Computer Science (LNCS) 1051 ISBN 3-540-60973-3 Springer-Verlag London, UK 1996.

To the publication

In: William John Cullyer, Wolfgang A. Halang, Bernd J. Krämer (editor). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops February 27-March 3 Schloß Dagstuhl Germany 1995.

To the publication

In: R. Gotzhein, J. Bredereke (editor). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT) June 22-23 Kaiserlautern Germany 1995.

To the publication

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