%0 Journal Article %1 journals/pieee/TomlinMBO03 %A Tomlin, Claire J. %A Mitchell, Ian %A Bayen, Alexandre M. %A Oishi, Meeko %D 2003 %J Proc. IEEE %K dblp %N 7 %P 986-1001 %T Computational techniques for the verification of hybrid systems. %U http://dblp.uni-trier.de/db/journals/pieee/pieee91.html#TomlinMBO03 %V 91

@article{journals/pieee/TomlinMBO03, added-at = {2022-03-16T00:00:00.000+0100}, author = {Tomlin, Claire J. and Mitchell, Ian and Bayen, Alexandre M. and Oishi, Meeko}, biburl = {https://www.bibsonomy.org/bibtex/2de26af670ad887260b7140dd6ac250a2/dblp}, ee = {https://www.wikidata.org/entity/Q56115200}, interhash = {3b3d86b31b688de8abdbc82adf79f187}, intrahash = {de26af670ad887260b7140dd6ac250a2}, journal = {Proc. IEEE}, keywords = {dblp}, number = 7, pages = {986-1001}, timestamp = {2024-04-09T04:37:29.000+0200}, title = {Computational techniques for the verification of hybrid systems.}, url = {http://dblp.uni-trier.de/db/journals/pieee/pieee91.html#TomlinMBO03}, volume = 91, year = 2003 }