@misc{indiciae767eb5b09e6f,
  title = {Tree Regular Model Checking for Lattice-Based Automata},
  author = {Thomas Genet and Tristan Le Gall and Axel Legay and Valerie Murat},
  year = {2012},
  url = {https://arxiv.org/abs/1203.1495},
  note = {Source identifier: 1203.1495}
}