Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun. Effective heuristics for counterexample-guided abstraction refinement. In Hai Zhou, Enrico Macii, Zhiyuan Yan, Yehia Massoud, editors, Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007. pages 393-398, ACM, 2007. [doi]
@inproceedings{HeSGS07, title = {Effective heuristics for counterexample-guided abstraction refinement}, author = {Fei He and Xiaoyu Song and Ming Gu and Jiaguang Sun}, year = {2007}, doi = {10.1145/1228784.1228878}, url = {http://doi.acm.org/10.1145/1228784.1228878}, tags = {refinement, abstraction}, researchr = {https://researchr.org/publication/HeSGS07}, cites = {0}, citedby = {0}, pages = {393-398}, booktitle = {Proceedings of the 17th ACM Great Lakes Symposium on VLSI 2007, Stresa, Lago Maggiore, Italy, March 11-13, 2007}, editor = {Hai Zhou and Enrico Macii and Zhiyuan Yan and Yehia Massoud}, publisher = {ACM}, isbn = {978-1-59593-605-9}, }