@inproceedingsF: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} @COMMENTBibtex file generated on