TY  - RPRT
TI  - Computation Tree Logic Model Checking Based on Possibility Measures
AU  - Yongming Li
AU  - Yali Li
AU  - Zhanyou Ma
PY  - 2014
UR  - https://arxiv.org/abs/1401.4658
ID  - 1401.4658
ER  -