@misc{indiciae5a135bfa231d,
  title = {Interface Simulation Distances},
  author = {Pavol Černý and Martin Chmelík and Thomas A. Henzinger and Arjun Radhakrishna},
  year = {2012},
  doi = {10.4204/eptcs.96.3},
  url = {https://arxiv.org/abs/1210.2450},
  note = {Source identifier: 1210.2450}
}