%0 Journal Article %1 journals/corr/KrishnaT15 %A Krishna, Shankara Narayanan %A Trivedi, Ashutosh %D 2015 %J CoRR %K %T Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/corr/corr1503.html#KrishnaT15 %V abs/1503.04928

@article{journals/corr/KrishnaT15, added-at = {2023-12-13T07:10:41.000+0100}, author = {Krishna, Shankara Narayanan and Trivedi, Ashutosh}, biburl = {https://www.bibsonomy.org/bibtex/239f9e470b3bdb65a6843fb8b8d7acb82/admin}, ee = {http://arxiv.org/abs/1503.04928}, interhash = {b6122d20e6fde238e176327a27aae00e}, intrahash = {39f9e470b3bdb65a6843fb8b8d7acb82}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T07:10:41.000+0100}, title = {Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1503.html#KrishnaT15}, volume = {abs/1503.04928}, year = 2015 }