@misc{indiciaee04bfb5a1bd3,
  title = {On distributed monitoring of asynchronous systems},
  author = {Volker Diekert and Anca Muscholl},
  year = {2012},
  url = {https://arxiv.org/abs/1208.2125},
  note = {Source identifier: 1208.2125}
}