%0 Conference Paper %1 conf/cpsweek/ArechigaDVKGS17 %A Aréchiga, Nikos %A Dathathri, Sumanth %A Vernekar, Shashank %A Kathare, Nagesh %A Gao, Sicun %A Shiraishi, Shinichi %B SCAV@CPSWeek %D 2017 %I ACM %K dblp %P 11-18 %T Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables. %U http://dblp.uni-trier.de/db/conf/cpsweek/scav2017.html#ArechigaDVKGS17 %@ 978-1-4503-4976-5

@inproceedings{conf/cpsweek/ArechigaDVKGS17, added-at = {2019-09-05T00:00:00.000+0200}, author = {Aréchiga, Nikos and Dathathri, Sumanth and Vernekar, Shashank and Kathare, Nagesh and Gao, Sicun and Shiraishi, Shinichi}, biburl = {https://www.bibsonomy.org/bibtex/2e513449eb0cfff0de9360e9f07c048ad/dblp}, booktitle = {SCAV@CPSWeek}, crossref = {conf/cpsweek/2017scav}, ee = {https://doi.org/10.1145/3055378.3055384}, interhash = {d12d1466d81dc55e3f23b4f3d106e51d}, intrahash = {e513449eb0cfff0de9360e9f07c048ad}, isbn = {978-1-4503-4976-5}, keywords = {dblp}, pages = {11-18}, publisher = {ACM}, timestamp = {2019-09-06T11:46:30.000+0200}, title = {Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.}, url = {http://dblp.uni-trier.de/db/conf/cpsweek/scav2017.html#ArechigaDVKGS17}, year = 2017 }