1
模糊计算树逻辑的符号模型检测
Symbolic model checking of fuzzy computation tree logic
2021年第8期 : 2381-2385
doi:10.19734/j.issn.1001-3695.2020.12.0405