@inproceedings{F:ERO60, Author = {Sibylle Fröschle}, Title = {Causality, Behavioural Equivalences, and the Security of Cyberphysical Systems}, Year = {2015}, Pages = {83-98}, Editor = {Meyer, Roland and Platzer, André and Wehrheim, Heike}, Publisher = {Springer-Verlag}, Series = {LNCS}, Edition = {9360}, Booktitle = {Festschrift Symposium in Honour of Ernst-Rüdiger Olderog}, type = {inproceedings} } @COMMENT{Bibtex file generated on }