Junhua Wu, Guangshun Li, Xinchuang Liu, Guang-Sheng Ma. Verification of Circuits Including Black Box Based on TED. In 10th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007. pages 561-564, IEEE, 2007. [doi]
@inproceedings{WuLLM07,
title = {Verification of Circuits Including Black Box Based on TED},
author = {Junhua Wu and Guangshun Li and Xinchuang Liu and Guang-Sheng Ma},
year = {2007},
doi = {10.1109/CADCG.2007.4407955},
url = {http://doi.ieeecomputersociety.org/10.1109/CADCG.2007.4407955},
researchr = {https://researchr.org/publication/WuLLM07},
cites = {0},
citedby = {0},
pages = {561-564},
booktitle = {10th International Conference on Computer-Aided Design and Computer Graphics, CAD/Graphics 2007, Beijing, China, 15-18 October, 2007},
publisher = {IEEE},
isbn = {978-1-4244-1579-3},
}