Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma. Model checking fuzzy computation tree logic. Fuzzy Sets and Systems, 262:60-77, 2015. [doi]
@article{PanLCM15,
title = {Model checking fuzzy computation tree logic},
author = {Haiyu Pan and Yongming Li and Yongzhi Cao and Zhanyou Ma},
year = {2015},
url = {http://www.sciencedirect.com/science/article/pii/S0165011414003157},
researchr = {https://researchr.org/publication/PanLCM15},
cites = {0},
citedby = {0},
journal = {Fuzzy Sets and Systems},
volume = {262},
pages = {60-77},
}