@proceedings{BKB60:09,
  added-at = {2016-08-05T15:59:03.000+0200},
  biburl = {https://www.bibsonomy.org/bibtex/2a0fb22f34efe4de5f70d9b0f43bd7ab0/tillmo},
  editor = {Hoffmann, Berthold and L{\"u}th, Christoph and Mossakowski, Till and Roggenbach, Markus and Schr{\"o}der, Lutz},
  interhash = {4ed52ac004a2130710e828748e685385},
  intrahash = {a0fb22f34efe4de5f70d9b0f43bd7ab0},
  keywords = {imported},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/Festschrift2.pdf},
  publisher = {DFKI Bremen, Sichere Kognitive Systeme},
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {Specification, Transformation, Navigation - Festschrift Sedicated to Bernd Krieg-Br{\"u}ckner on the Ooccasion of his 60th Birthday},
  year = 2009
}