计算机科学与探索2016，Vol.10Issue(10)：1475-1481,7.DOI:10.3778/j.issn.1673-9418.1507053
广义可能性计算树逻辑的两种范式
Two Normal Forms Based on Generalized Possibilistic Computation Tree Logic
摘要
关键词
广义可能性测度/计算树逻辑/范式/模型检测Key words
generalized possibility measure/computation tree logic/normal form/model checking分类
信息技术与安全科学引用本文复制引用
赵杰,李永明..广义可能性计算树逻辑的两种范式[J].计算机科学与探索,2016,10(10):1475-1481,7.基金项目
The National Natural Science Foundation of China under Grant Nos.11271237,61228305(国家自然科学基金). （国家自然科学基金）
