%0 Conference Paper %1 conf/rp/Maler09 %A Maler, Oded %B RP %D 2009 %E Bournez, Olivier %E Potapov, Igor %I Springer %K dblp %P 24-25 %T Reachability for Continuous and Hybrid Systems. %U http://dblp.uni-trier.de/db/conf/rp/rp2009.html#Maler09 %V 5797 %@ 978-3-642-04419-9

@inproceedings{conf/rp/Maler09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Maler, Oded}, biburl = {https://www.bibsonomy.org/bibtex/2851723f4c4b81b2627de6a0f8d70b411/dblp}, booktitle = {RP}, crossref = {conf/rp/2009}, editor = {Bournez, Olivier and Potapov, Igor}, ee = {https://doi.org/10.1007/978-3-642-04420-5_3}, interhash = {b656ec7c1d6dd145ed9afb852329a74c}, intrahash = {851723f4c4b81b2627de6a0f8d70b411}, isbn = {978-3-642-04419-9}, keywords = {dblp}, pages = {24-25}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:20:38.000+0200}, title = {Reachability for Continuous and Hybrid Systems.}, url = {http://dblp.uni-trier.de/db/conf/rp/rp2009.html#Maler09}, volume = 5797, year = 2009 }