@misc{indiciae34b9081e2c40,
  title = {Games for Bisimulations and Abstraction},
  author = {David De Frutos Escrig and Jeroen J. A. Keiren and Tim A. C. Willemse},
  year = {2017},
  doi = {10.23638/lmcs-13(4:15)2017},
  url = {https://arxiv.org/abs/1611.00401},
  note = {Source identifier: 1611.00401}
}