Art der Veröffentlichung: |
Konferenz-Bericht |
Herausgeber: |
Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Roggenbach, Markus, Schröder, Lutz |
Titel: |
Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-Brückner on the Ooccasion of his 60th Birthday |
Erscheinungsjahr: |
2009 |
Verleger: |
DFKI Bremen, Sichere Kognitive Systeme |
PDF Version: |
http://www.informatik.uni-bremen.de/~till/Festschrift2.pdf |
Status: |
Reviewed |
Letzte Aktualisierung: |
12. 04. 2010 |
|
|