%0 Journal Article %1 journals/jcss/HenzingerKPV98 %A Henzinger, Thomas A. %A Kopke, Peter W. %A Puri, Anuj %A Varaiya, Pravin %D 1998 %J J. Comput. Syst. Sci. %K dblp %N 1 %P 94-124 %T What's Decidable about Hybrid Automata? %U http://dblp.uni-trier.de/db/journals/jcss/jcss57.html#HenzingerKPV98 %V 57

@article{journals/jcss/HenzingerKPV98, added-at = {2021-02-16T00:00:00.000+0100}, author = {Henzinger, Thomas A. and Kopke, Peter W. and Puri, Anuj and Varaiya, Pravin}, biburl = {https://www.bibsonomy.org/bibtex/2589ded21d20ba4ea2661153f10a6910e/dblp}, ee = {https://doi.org/10.1006/jcss.1998.1581}, interhash = {25e7b0151d20f83d04d6dddf98de93b6}, intrahash = {589ded21d20ba4ea2661153f10a6910e}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 1, pages = {94-124}, timestamp = {2024-04-08T19:13:27.000+0200}, title = {What's Decidable about Hybrid Automata?}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss57.html#HenzingerKPV98}, volume = 57, year = 1998 }