%0 Conference Paper %1 conf/hvc/AbelABGS13 %A Abel, Andreas %A Adir, Allon %A Blochwitz, Torsten %A Greenberg, Lev %A Salman, Tamer %B Haifa Verification Conference %D 2013 %E Bertacco, Valeria %E Legay, Axel %I Springer %K dblp %P 182-198 %T Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2013.html#AbelABGS13 %V 8244 %@ 978-3-319-03076-0

@inproceedings{conf/hvc/AbelABGS13, added-at = {2017-05-19T00:00:00.000+0200}, author = {Abel, Andreas and Adir, Allon and Blochwitz, Torsten and Greenberg, Lev and Salman, Tamer}, biburl = {https://www.bibsonomy.org/bibtex/2dc1200db7be589a647fb6579a2de932b/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2013}, editor = {Bertacco, Valeria and Legay, Axel}, ee = {https://doi.org/10.1007/978-3-319-03077-7_13}, interhash = {d8db568b3e4829b7862af3027076f127}, intrahash = {dc1200db7be589a647fb6579a2de932b}, isbn = {978-3-319-03076-0}, keywords = {dblp}, pages = {182-198}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Development and Verification of Complex Hybrid Systems Using Synthesizable Monitors.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2013.html#AbelABGS13}, volume = 8244, year = 2013 }