@misc{indiciae2baf94af339d,
  title = {Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking},
  author = {Alexandre Duret-Lutz and Kais Klai and Denis Poitrenaud and Yann Thierry-Mieg},
  year = {2011},
  url = {https://arxiv.org/abs/1106.5700},
  note = {Source identifier: 1106.5700}
}