"ISSN 1611-3349 (electronic)"--Title page verso.
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. ISBN 9783319235059. Published by Springer in 2015. Publication and catalogue information, links to buy online and reader comments.