Publikationen
Seite 4 von 4.
Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter
In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.
Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing
In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT …
Ü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