Model checking fuzzy computation tree logic.
https://doi.org/10.1016/j.fss.2014.07.008
@article{DBLP:journals/fss/PanLCM15,
author = {Haiyu Pan and
Yongming Li and
Yongzhi Cao and
Zhanyou Ma},
title = {Model checking fuzzy computation tree logic},
journal = {Fuzzy Sets Syst.},
volume = {262},
pages = {60--77},
year = {2015},
url = {https://doi.org/10.1016/j.fss.2014.07.008},
doi = {10.1016/j.fss.2014.07.008},
timestamp = {Wed, 19 Feb 2020 20:48:35 +0100},
biburl = {https://dblp.org/rec/journals/fss/PanLCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签