@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