@misc{indiciaef8ce3a924227,
  title = {A Note on Monitors and Büchi automata},
  author = {Volker Diekert and Anca Muscholl and Igor Walukiewicz},
  year = {2015},
  url = {https://arxiv.org/abs/1507.01020},
  note = {Source identifier: 1507.01020}
}