Publikationen
Seite 10 von 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 …
Übersicht
Team
Projekte
News
Jobs
Sekretariat: Shannon Kittrell, B.A. Tel.: +49 631 20575 4010fbei-sek@dfki.de
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Forschungsbereich Eingebettete Intelligenz Trippstadter Str. 122 67663 Kaiserslautern Deutschland