TY  - RPRT
TI  - Approximate LTL model checking
AU  - Weijun Zhu
AU  - Jianwei Wang
AU  - Yongwen Fan
PY  - 2019
UR  - https://arxiv.org/abs/1805.11765
ID  - 1805.11765
ER  -