%0 Journal Article %1 journals/tac/HenzingerHW98 %A Henzinger, Thomas A. %A Ho, Pei-Hsin %A Wong-Toi, Howard %D 1998 %J IEEE Trans. Autom. Control. %K dblp %N 4 %P 540-554 %T Algorithmic analysis of nonlinear hybrid systems. %U http://dblp.uni-trier.de/db/journals/tac/tac43.html#HenzingerHW98 %V 43

@article{journals/tac/HenzingerHW98, added-at = {2021-05-03T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Ho, Pei-Hsin and Wong-Toi, Howard}, biburl = {https://www.bibsonomy.org/bibtex/2feaeca3953adfa74a94c132f63b9c5ef/dblp}, ee = {https://doi.org/10.1109/9.664156}, interhash = {8975d13e6dbd98804d8bd3a3103266e7}, intrahash = {feaeca3953adfa74a94c132f63b9c5ef}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 4, pages = {540-554}, timestamp = {2024-04-08T17:32:26.000+0200}, title = {Algorithmic analysis of nonlinear hybrid systems.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac43.html#HenzingerHW98}, volume = 43, year = 1998 }