%0 Conference Paper %1 conf/rv/AnderssonCN17 %A Andersson, Björn %A Chaki, Sagar %A de Niz, Dionisio %B RV %D 2017 %E Lahiri, Shuvendu K. %E Reger, Giles %I Springer %K %P 68-84 %T Combining Symbolic Runtime Enforcers for Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/rv/rv2017.html#AnderssonCN17 %V 10548 %@ 978-3-319-67531-2

@inproceedings{conf/rv/AnderssonCN17, added-at = {2023-12-12T18:26:07.000+0100}, author = {Andersson, Björn and Chaki, Sagar and de Niz, Dionisio}, biburl = {https://www.bibsonomy.org/bibtex/2e04fd689eb6f5029e87f1001fb5af264/admin}, booktitle = {RV}, crossref = {conf/rv/2017}, editor = {Lahiri, Shuvendu K. and Reger, Giles}, ee = {https://doi.org/10.1007/978-3-319-67531-2_5}, interhash = {1243e9422962e8f38db900d8df4e5cb5}, intrahash = {e04fd689eb6f5029e87f1001fb5af264}, isbn = {978-3-319-67531-2}, keywords = {}, pages = {68-84}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:26:07.000+0100}, title = {Combining Symbolic Runtime Enforcers for Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/rv/rv2017.html#AnderssonCN17}, volume = 10548, year = 2017 }