@Inproceedings{EPTCS180.2,
  author    = {Gerhold, Marcus  and Stoelinga, Mari\"elle },
  year      = {2015},
  title     = {ioco theory for probabilistic automata},
  editor    = {Pakulin, Nikolay and K. Petrenko, Alexander and Schlingloff, Bernd-Holger},
  booktitle = {{\rm Proceedings Tenth Workshop on}
               Model Based Testing,
               {\rm London, UK, 18th April 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {180},
  publisher = {Open Publishing Association},
  pages     = {23-40},
  doi       = {10.4204/EPTCS.180.2},
}