基于启发式SCCs的广义Büchi 自动机判空检测算法
王曦;徐中伟
Heuristic SCCs Emptiness Checking Algorithm for Generalized Büchi Automata
WANG Xi;XU Zhong-wei
电子学报 . 2012, (1): 95 -102 .  DOI: 10.3969/j.issn.0372-2112.2012.01.016