具有DP的广义可能性模糊时态CTL模型检测

具有DP的广义可能性模糊时态CTL模型检测

魏杰林，袁申，李永明，梁常建

Model Checking of Generalized Possibilistic Fuzzy-Time CTL with DP

WEI Jielin, YUAN Shen, LI Yongming, LIANG Changjian

计算机科学与探索 . 2019, (10): 1781 -1792 . DOI: 10.3778/j.issn.1673-9418.1807037