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