%0 Conference Paper %1 conf/emsoft/Alur11 %A Alur, Rajeev %B EMSOFT %D 2011 %E Chakraborty, Samarjit %E Jerraya, Ahmed %E Baruah, Sanjoy K. %E Fischmeister, Sebastian %I ACM %K dblp %P 273-278 %T Formal verification of hybrid systems. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2011.html#Alur11 %@ 978-1-4503-0714-7

@inproceedings{conf/emsoft/Alur11, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alur, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/24ab552838b3518f94d57a96f9a144dc9/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2011}, editor = {Chakraborty, Samarjit and Jerraya, Ahmed and Baruah, Sanjoy K. and Fischmeister, Sebastian}, ee = {https://doi.org/10.1145/2038642.2038685}, interhash = {ffa8b07783b7e0154554aef9e48d72ae}, intrahash = {4ab552838b3518f94d57a96f9a144dc9}, isbn = {978-1-4503-0714-7}, keywords = {dblp}, pages = {273-278}, publisher = {ACM}, timestamp = {2018-11-07T16:41:36.000+0100}, title = {Formal verification of hybrid systems.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2011.html#Alur11}, year = 2011 }