Publications
Page 4 of 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 …
Overview
Team
Projects
News
Jobs
Website
Phone: +49 421 17845 0 Fax: +49 421 17845 4150robotik@dfki.de Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Robotics Innovation Center Robert-Hooke-Str. 1 28359 Bremen Germany