Ryan Berryhill, Andreas G. Veneris
Automated rectification methodologies to functional state-space unreachability
DATE, 2015.
@inproceedings{DATE-2015-BerryhillV,
acmid = "2757138",
author = "Ryan Berryhill and Andreas G. Veneris",
booktitle = "{Proceedings of the 19th Conference and Exhibition on Design, Automation and Test in Europe}",
isbn = "978-3-9815370-4-8",
pages = "1401--1406",
publisher = "{ACM}",
title = "{Automated rectification methodologies to functional state-space unreachability}",
year = 2015,
}