%0 Conference Paper %1 conf/issac/Tiwari10 %A Tiwari, Ashish %B ISSAC %D 2010 %E Koepf, Wolfram %I ACM %K dblp %P 5-6 %T Theory of reals for verification and synthesis of hybrid dynamical systems. %U http://dblp.uni-trier.de/db/conf/issac/issac2010.html#Tiwari10 %@ 978-1-4503-0150-3

@inproceedings{conf/issac/Tiwari10, added-at = {2019-11-06T00:00:00.000+0100}, author = {Tiwari, Ashish}, biburl = {https://www.bibsonomy.org/bibtex/25d084b51e40fa7eb82bf05d35010e37f/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/2010}, editor = {Koepf, Wolfram}, ee = {https://doi.org/10.1145/1837934.1837938}, interhash = {b63cc474bd7e0d177b8b9a250da24ec6}, intrahash = {5d084b51e40fa7eb82bf05d35010e37f}, isbn = {978-1-4503-0150-3}, keywords = {dblp}, pages = {5-6}, publisher = {ACM}, timestamp = {2019-11-07T11:44:01.000+0100}, title = {Theory of reals for verification and synthesis of hybrid dynamical systems.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac2010.html#Tiwari10}, year = 2010 }