<span style="font-size:10.5pt;font-family:宋体;">形式验证中<span>ROBDD</span>变量排序算法的研究</span><span style="font-size:medium;"></span>

中国科技核心期刊

中文核心期刊

CSCD来源期刊

形式验证中ROBDD变量排序算法的研究

王青, 杨孟飞

Research on ROBDD Variables Reordering Algorithm in Formal Verification

WANG Qing, YANG Mengfei

空间控制技术与应用 . 2008, (2): 29 -32 .