%0 Conference Paper %1 conf/hybrid/0001SDJ16 %A Zutshi, Aditya %A Sankaranarayanan, Sriram %A Deshmukh, Jyotirmoy V. %A Jin, Xiaoqing %B HSCC %D 2016 %E Abate, Alessandro %E Fainekos, Georgios E. %I ACM %K dblp %P 135-144 %T Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#0001SDJ16 %@ 978-1-4503-3955-1

@inproceedings{conf/hybrid/0001SDJ16, added-at = {2019-09-06T00:00:00.000+0200}, author = {Zutshi, Aditya and Sankaranarayanan, Sriram and Deshmukh, Jyotirmoy V. and Jin, Xiaoqing}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f99491bc34932ac8a7ddf1de20995969/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2016}, editor = {Abate, Alessandro and Fainekos, Georgios E.}, ee = {https://doi.org/10.1145/2883817.2883819}, interhash = {a7fc655297229683d9c21b517c36207a}, intrahash = {f99491bc34932ac8a7ddf1de20995969}, isbn = {978-1-4503-3955-1}, keywords = {dblp}, pages = {135-144}, publisher = {ACM}, timestamp = {2019-09-27T14:03:13.000+0200}, title = {Symbolic-Numeric Reachability Analysis of Closed-Loop Control Software.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2016.html#0001SDJ16}, year = 2016 }