%0 Journal Article %1 journals/tcs/Navarro-LopezC16 %A Navarro-López, Eva M. %A Carter, Rebekah %D 2016 %J Theor. Comput. Sci. %K dblp %P 1-23 %T Deadness and how to disprove liveness in hybrid dynamical systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs642.html#Navarro-LopezC16 %V 642

@article{journals/tcs/Navarro-LopezC16, added-at = {2020-02-04T00:00:00.000+0100}, author = {Navarro-López, Eva M. and Carter, Rebekah}, biburl = {https://www.bibsonomy.org/bibtex/259717b023c9a178462031308aeb33de1/dblp}, ee = {https://doi.org/10.1016/j.tcs.2016.06.009}, interhash = {bee82242c429544988c58068e10d6383}, intrahash = {59717b023c9a178462031308aeb33de1}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {1-23}, timestamp = {2020-02-05T11:41:40.000+0100}, title = {Deadness and how to disprove liveness in hybrid dynamical systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs642.html#Navarro-LopezC16}, volume = 642, year = 2016 }