%0 Journal Article %1 journals/tecs/FanKJM18 %A Fan, Chuchu %A Kapinski, James %A Jin, Xiaoqing %A Mitra, Sayan %D 2018 %J ACM Trans. Embedded Comput. Syst. %K dblp %N 1 %P 21:1-21:28 %T Simulation-Driven Reachability Using Matrix Measures. %U http://dblp.uni-trier.de/db/journals/tecs/tecs17.html#FanKJM18 %V 17

@article{journals/tecs/FanKJM18, added-at = {2018-11-06T00:00:00.000+0100}, author = {Fan, Chuchu and Kapinski, James and Jin, Xiaoqing and Mitra, Sayan}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2091f141d5ddd9fb6bce45198d3f326c7/dblp}, ee = {https://doi.org/10.1145/3126685}, interhash = {625c424217f71eb9c51cf3cbd7be9772}, intrahash = {091f141d5ddd9fb6bce45198d3f326c7}, journal = {ACM Trans. Embedded Comput. Syst.}, keywords = {dblp}, number = 1, pages = {21:1-21:28}, timestamp = {2019-09-27T08:46:30.000+0200}, title = {Simulation-Driven Reachability Using Matrix Measures.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs17.html#FanKJM18}, volume = 17, year = 2018 }