Confluence Reduction for Markov Automata

@inproceedings{Timmer2013ConfluenceRF,
  title={Confluence Reduction for Markov Automata},
  author={Mark Timmer and Jaco van de Pol and Mari{\"e}lle Stoelinga},
  booktitle={FORMATS},
  year={2013}
}
Article history: Received 7 July 2015 Accepted 12 January 2016 Available online 19 January 2016