Original language | English |
---|---|
Title of host publication | Correct System Design |
Subtitle of host publication | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings |
Editors | Roland Meyer , André Platzer , Heike Wehrheim |
Place of Publication | Cham |
Publisher | Springer |
Pages | 191-204 |
Number of pages | 14 |
Edition | 1 |
ISBN (Electronic) | 978-3-319-23506-6 |
ISBN (Print) | 978-3-319-23505-9 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
Publication series
Series | Lecture Notes in Computer Science |
---|---|
Volume | 9360 |
ISSN | 0302-9743 |