%0 Conference Paper %1 conf/emsoft/BakC16 %A Bak, Stanley %A Chaki, Sagar %B EMSOFT %D 2016 %E Eles, Petru %E Mangharam, Rahul %I ACM %K dblp %P 10:1-10:10 %T Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2016.html#BakC16 %@ 978-1-4503-4485-2

@inproceedings{conf/emsoft/BakC16, added-at = {2018-11-06T00:00:00.000+0100}, author = {Bak, Stanley and Chaki, Sagar}, biburl = {https://www.bibsonomy.org/bibtex/292ac877b8a79209174abe00718a72819/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2016}, editor = {Eles, Petru and Mangharam, Rahul}, ee = {https://doi.org/10.1145/2968478.2968490}, interhash = {e4ae7d809a82b5a4ebe5f1c4c97e1f0e}, intrahash = {92ac877b8a79209174abe00718a72819}, isbn = {978-1-4503-4485-2}, keywords = {dblp}, pages = {10:1-10:10}, publisher = {ACM}, timestamp = {2019-08-09T11:47:42.000+0200}, title = {Verifying cyber-physical systems by combining software model checking with hybrid systems reachability.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2016.html#BakC16}, year = 2016 }