Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings : Sep 2015, Oldenburg, Germany.
(Lecture Notes in Computer Science ; 9360. Festschrift)
This book is dedicated to Professor Ernst-Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's co...