%0 Journal Article
%T 命题μ-演算全局模型检测的高效算法设计
%A 江  华
%J -
%D 2010
%X 在Long, Browne, Jha 和 Marrero等人..
%K [模型检测
%K μ-演算
%K 计算复杂度
%K NP∩co-NP问题
%K 不动点
%K model checking
%K μ-calculus
%K computational complexity
%K NP∩co-NP problem
%K fixed-point]
%U http://crad.ict.ac.cn/CN/Y2010/V47/I8/1424