命题μ-演算局部模型检测高效算法设计

命题μ-演算局部模型检测高效算法设计

李前利，江华

Local model checking algorithm for evaluation of propositional μ-calculus

LI Qianli, JIANG Hua

计算机工程与应用 . 2017, (9): 51 -56 . DOI: 10.3778/j.issn.1002-8331.1511-0249