Rupak Majumdar, Majid Zamani
Approximately Bisimilar Symbolic Models for Digital Control Systems
CAV, 2012.
@inproceedings{CAV-2012-MajumdarZ, author = "Rupak Majumdar and Majid Zamani", booktitle = "{Proceedings of the 24th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-31424-7_28", isbn = "978-3-642-31423-0", pages = "362--377", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Approximately Bisimilar Symbolic Models for Digital Control Systems}", volume = 7358, year = 2012, }