Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

Till Mossakowski, Markus Roggenbach, Lutz Schröder

In: Till Mossakowski , Markus Roggenbach , Lutz Schröder (editor). Electronic Communications of the EASST 62 Pages 1-999 EASST online, hosted by Universitätsbibliothek TU Berlin 2013.


For Bernd Krieg-Brückner’s 60th birthday, an informal volume with scientific and humoristiccontributions from colleagues and friends was collected. This special issue consists of selectedpapers of that volume, which have been extended and revised for publication in ECEASST.The papers illustrate the three main themese of Bernd Krieg-Br ̈uckner’s research: Specification,Transformation and Navigation.

Weitere Links

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz