TY  - RPRT
TI  - Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
AU  - Alexandre Duret-Lutz
AU  - Kais Klai
AU  - Denis Poitrenaud
AU  - Yann Thierry-Mieg
PY  - 2011
UR  - https://arxiv.org/abs/1106.5700
ID  - 1106.5700
ER  -