Publication type: |
Conference Proceedings |
Editor: |
Hoffmann, Berthold, Lüth, Christoph, Mossakowski, Till, Roggenbach, Markus, Schröder, Lutz |
Title: |
Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-Brückner on the Ooccasion of his 60th Birthday |
Year published: |
2009 |
Publisher: |
DFKI Bremen, Sichere Kognitive Systeme |
PDF Version: |
http://www.informatik.uni-bremen.de/~till/Festschrift2.pdf |
Status: |
Reviewed |
Last updated: |
12. 04. 2010 |
|
|