%0 Conference Paper %1 conf/hybrid/CeransV95 %A Cerans, Karlis %A Viksna, Juris %B Hybrid Systems %D 1995 %E Alur, Rajeev %E Henzinger, Thomas A. %E Sontag, Eduardo D. %I Springer %K dblp %P 389-400 %T Deciding Reachability for Planar Multi-polynomial Systems. %U http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#CeransV95 %V 1066 %@ 3-540-61155-X

@inproceedings{conf/hybrid/CeransV95, added-at = {2019-10-19T00:00:00.000+0200}, author = {Cerans, Karlis and Viksna, Juris}, biburl = {https://www.bibsonomy.org/bibtex/2fcaa16a731276d84da283797303bea5e/dblp}, booktitle = {Hybrid Systems}, crossref = {conf/hybrid/1995}, editor = {Alur, Rajeev and Henzinger, Thomas A. and Sontag, Eduardo D.}, ee = {https://www.wikidata.org/entity/Q56901013}, interhash = {1831661eaf35075421233edff57b8182}, intrahash = {fcaa16a731276d84da283797303bea5e}, isbn = {3-540-61155-X}, keywords = {dblp}, pages = {389-400}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:47:23.000+0200}, title = {Deciding Reachability for Planar Multi-polynomial Systems.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hybrid95.html#CeransV95}, volume = 1066, year = 1995 }