@misc{indiciae64953f1f1a92,
  title = {ω-Automata},
  author = {Thomas Wilke},
  year = {2016},
  url = {https://arxiv.org/abs/1609.03062},
  note = {Source identifier: 1609.03062}
}