%0 Journal Article %1 journals/tecs/MitraLL08 %A Mitra, Sayan %A Liberzon, Daniel %A Lynch, Nancy A. %D 2008 %J ACM Trans. Embed. Comput. Syst. %K %N 1 %P 3:1-3:37 %T Verifying average dwell time of hybrid systems. %U http://dblp.uni-trier.de/db/journals/tecs/tecs8.html#MitraLL08 %V 8

@article{journals/tecs/MitraLL08, added-at = {2023-12-12T23:04:06.000+0100}, author = {Mitra, Sayan and Liberzon, Daniel and Lynch, Nancy A.}, biburl = {https://www.bibsonomy.org/bibtex/2bbf7ded1e1a1bc01dedc681e759ff626/admin}, ee = {https://doi.org/10.1145/1457246.1457249}, interhash = {51d69fab7e1bc4fd32e44571f342afe5}, intrahash = {bbf7ded1e1a1bc01dedc681e759ff626}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {}, number = 1, pages = {3:1-3:37}, timestamp = {2023-12-12T23:04:06.000+0100}, title = {Verifying average dwell time of hybrid systems.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs8.html#MitraLL08}, volume = 8, year = 2008 }