@misc{indiciaec2a4d50ca01e,
  title = {Confluence Reduction for Probabilistic Systems (extended version)},
  author = {Mark Timmer and Mariëlle Stoelinga and Jaco van de Pol},
  year = {2010},
  url = {https://arxiv.org/abs/1011.2314},
  note = {Source identifier: 1011.2314}
}