Kumar Madhukar, Mandayam Srivas, Björn Wachter, Daniel Kröning, Ravindra Metta
Verifying synchronous reactive systems using lazy abstraction
DATE, 2015.
@inproceedings{DATE-2015-MadhukarSWKM,
acmid = "2757175",
author = "Kumar Madhukar and Mandayam Srivas and Björn Wachter and Daniel Kröning and Ravindra Metta",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1571--1574",
publisher = "{ACM}",
title = "{Verifying synchronous reactive systems using lazy abstraction}",
year = 2015,
}