Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle
Dynamic abstraction using SAT-based BMC
DAC, 2005.
@inproceedings{DAC-2005-ZhangPHS, author = "Liang Zhang and Mukul R. Prasad and Michael S. Hsiao and Thomas Sidle", booktitle = "{Proceedings of the 42nd Design Automation Conference}", doi = "10.1145/1065579.1065776", isbn = "1-59593-058-2", pages = "754--757", publisher = "{ACM}", title = "{Dynamic abstraction using SAT-based BMC}", year = 2005, }