Publikation
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 (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by Universitätsbibliothek TU Berlin, 2013.
Zusammenfassung
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.