Robotics Innovation Center

Page 4 of 4.

1. Till Mossakowski; P. Hoffman; Serge Autexier; Dieter Hutter

   Part IV: CASL Logic

   In: Bernd Krieg-Brückner; P. Mosses (Hrsg.). The CASL Reference Manual. LNCS, Vol. 2960, Springer, 2004.

2. Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing

   Towards MultiMedia Instruction in Safe and Secure Systems

   In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT …

• previous
• 1
• …
• 2
• 3
• 4