Publications
Page 10 of 10.
Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer
In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic …
Till Mossakowski; Serge Autexier; Dieter Hutter
In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering …
Overview
Team
Projects
News
Jobs
Office: Shannon Kittrell, B.A. Phone: +49 631 20575 4010fbei-sek@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Research Department Embedded Intelligence Trippstadter Str. 122 67663 Kaiserslautern Germany