Parasara Sridhar Duggirala, Ashish Tiwari. Safety verification for linear systems. In Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013. pages 1-10, IEEE, 2013. [doi]
@inproceedings{DuggiralaT13, title = {Safety verification for linear systems}, author = {Parasara Sridhar Duggirala and Ashish Tiwari}, year = {2013}, doi = {10.1109/EMSOFT.2013.6658585}, url = {http://dx.doi.org/10.1109/EMSOFT.2013.6658585}, researchr = {https://researchr.org/publication/DuggiralaT13}, cites = {0}, citedby = {0}, pages = {1-10}, booktitle = {Proceedings of the International Conference on Embedded Software, EMSOFT 2013, Montreal, QC, Canada, September 29 - Oct. 4, 2013}, publisher = {IEEE}, }