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

@proceedings{DBLP:conf/festschrift/ERO60,
	editor = {['Roland Meyer', 'André Platzer', 'Heike Wehrheim']},
	title = {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},
	booktitle = {ERO},
	publisher = {Springer},
	series = {LNCS},
	volume = {9360},
	year = {2015},
	isbn = {978-3-319-23505-9},
	doi = {10.1007/978-3-319-23506-6}
}