Biblio
Filters: Author is Mahesh Viswanathan [Clear All Filters]
.
2016. Parsimonious, Simulation Based Verification of Linear Systems. Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}. :477–494.