自动化技术、计算机技术
-
1苏开乐,吕关锋,宋炯.一个高效BDD的简洁实现[J].计算机学报,2014,37(9):2021-2026. 被引量：2
-
2季莉,朱娜.一种基于二叉判定图的包过滤规则设计方法[J].计算机工程,2006,32(6):183-185.
-
3李绍荣,徐玉婷.基于BDD的组合电路等价性检验[J].计算机科学,2007,34(3):293-294.
-
4郭建,杜惠敏,韩俊刚,郝克刚.基于时态逻辑的硬件设计形式化验证技术——模型检验[J].小型微型计算机系统,2001,22(5):521-524. 被引量：5
-
5王明全,于海斌.基于遗传禁忌混合策略的二叉判定图最小化算法研究[J].信息与控制,2005,34(2):142-146.
-
6周从华,刘志锋.具有过去时态算子的计算树逻辑模型检测[J].计算机工程,2007,33(22):98-100. 被引量：2
-
7王镇道,陈义.基于灾变遗传算法的二叉判定图最小化算法[J].计算机工程与应用,2015,51(3):55-60. 被引量：3
-
8王明全,于海斌,王宏.二叉判定图最优化算法研究综述[J].信息与控制,2004,33(5):567-572. 被引量：5
-
9杜慧敏,刘建元,韩俊刚,高德远.用VIS验证微处理器PIC[J].计算机辅助设计与图形学学报,2000,12(5):390-395. 被引量：2
-
10郭建,韩俊刚.对VIS系统关键技术的改进[J].计算机应用,2000,20(S1):184-187.
;
