@misc{indiciae35a566fcaeb5,
  title = {Ioco Theory for Probabilistic Automata},
  author = {Marcus Gerhold and Mariëlle Stoelinga},
  year = {2015},
  doi = {10.4204/eptcs.180.2},
  url = {https://arxiv.org/abs/1504.02441},
  note = {Source identifier: 1504.02441}
}