不确定型模糊Kripke结构的计算树逻辑模型检测

范艳焕, 李永明, 潘海玉

Computation Tree Logic Model Checking for Nondeterminisitc Fuzzy Kripke Structure

FAN Yan-huan, LI Yong-ming, PAN Hai-yu

电子学报 . 2018, (1): 152 -159 . DOI: 10.3969/j.issn.0372-2112.2018.01.021