%0 Conference Paper %1 conf/qrs/HerrmannB17 %A Herrmann, Peter %A Blech, Jan Olaf %B QRS Companion %D 2017 %I IEEE %K dblp %P 563-564 %T Formal Analysis of Control Software for Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/qrs/qrs2017c.html#HerrmannB17 %@ 978-1-5386-2072-4

@inproceedings{conf/qrs/HerrmannB17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Herrmann, Peter and Blech, Jan Olaf}, biburl = {https://www.bibsonomy.org/bibtex/2e14f338c41284982df09cd2cb0e44492/dblp}, booktitle = {QRS Companion}, crossref = {conf/qrs/2017c}, ee = {https://doi.org/10.1109/QRS-C.2017.130}, interhash = {04297784700f4170cd3ff2678bddd6ae}, intrahash = {e14f338c41284982df09cd2cb0e44492}, isbn = {978-1-5386-2072-4}, keywords = {dblp}, pages = {563-564}, publisher = {IEEE}, timestamp = {2024-04-10T16:23:47.000+0200}, title = {Formal Analysis of Control Software for Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/qrs/qrs2017c.html#HerrmannB17}, year = 2017 }