@misc{indiciaea798c2eb3484,
  title = {Oink: an Implementation and Evaluation of Modern Parity Game Solvers},
  author = {Tom van Dijk},
  year = {2018},
  doi = {10.1007/978-3-319-89960-2\_16},
  url = {https://arxiv.org/abs/1801.03859},
  note = {Source identifier: 1801.03859}
}