@misc{indiciaed532b3c34a5a,
  title = {Symbolic and Structural Model-Checking},
  author = {Yann Thierry-Mieg},
  year = {2021},
  url = {https://arxiv.org/abs/2005.12911},
  note = {Source identifier: 2005.12911}
}