Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng
Error Correction Based on Verification Techniques
DAC, 1996.
@inproceedings{DAC-1996-HuangCC,
author = "Shi-Yu Huang and Kuang-Chien Chen and Kwang-Ting Cheng",
booktitle = "{Proceedings of the 33rd Design Automation Conference}",
doi = "10.1145/240518.240566",
isbn = "0-89791-779-0",
pages = "258--261",
publisher = "{ACM Press}",
title = "{Error Correction Based on Verification Techniques}",
year = 1996,
}