@misc{indiciaec6c1d923ca7a,
  title = {Büchi automata for distributed temporal logic},
  author = {Jaime Ramos},
  year = {2019},
  url = {https://arxiv.org/abs/1909.01741},
  note = {Source identifier: 1909.01741}
}