基于子路径扩展的不可达路径检测方法
王红阳, 姜淑娟, 王兴亚, 鞠小林, 张艳梅
An Approach for Detecting Infeasible Paths Based on Sub-Path Expansion
WANG Hong-yang, JIANG Shu-juan, WANG Xing-ya, JU Xiao-lin, ZHANG Yan-mei
电子学报
.
2015, (8): 1555
-1560
.
DOI: 10.3969/j.issn.0372-2112.2015.08.013
