国家自然科学基金(60006002),广东省教育厅自然科学研究(02019)项目资助。
陈翎 潘中良.数字电路测试生成的二元判定图方法[J].重庆工商大学学报(自然科学版),2005,(3):
CHEN Ling, PAN Zhong-liang. Binary decision diagram method for test generation of digital circuits[J]. Journal of Chongqing Technology and Business University(Natural Science Edition),2005,(3):