%0 Conference Paper %1 conf/stoc/HenzingerKPV95 %A Henzinger, Thomas A. %A Kopke, Peter W. %A Puri, Anuj %A Varaiya, Pravin %B STOC %D 1995 %E Leighton, Frank Thomson %E Borodin, Allan %I ACM %K dblp %P 373-382 %T What's decidable about hybrid automata? %U http://dblp.uni-trier.de/db/conf/stoc/stoc1995.html#HenzingerKPV95 %@ 0-89791-718-9

@inproceedings{conf/stoc/HenzingerKPV95, added-at = {2018-11-06T00:00:00.000+0100}, author = {Henzinger, Thomas A. and Kopke, Peter W. and Puri, Anuj and Varaiya, Pravin}, biburl = {https://www.bibsonomy.org/bibtex/25d94a37d9dfd5dab9fecfaabfd372678/dblp}, booktitle = {STOC}, crossref = {conf/stoc/STOC27}, editor = {Leighton, Frank Thomson and Borodin, Allan}, ee = {https://doi.org/10.1145/225058.225162}, interhash = {08328b2efc558f0d81326b8c447e92cf}, intrahash = {5d94a37d9dfd5dab9fecfaabfd372678}, isbn = {0-89791-718-9}, keywords = {dblp}, pages = {373-382}, publisher = {ACM}, timestamp = {2018-11-07T14:44:33.000+0100}, title = {What's decidable about hybrid automata?}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc1995.html#HenzingerKPV95}, year = 1995 }