Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga. Confluence reduction for Markov automata. Theoretical Computer Science, 655:193-219, 2016. [doi]
@article{TimmerKPS16,
title = {Confluence reduction for Markov automata},
author = {Mark Timmer and Joost-Pieter Katoen and Jaco van de Pol and Mariëlle Stoelinga},
year = {2016},
doi = {10.1016/j.tcs.2016.01.017},
url = {https://doi.org/10.1016/j.tcs.2016.01.017},
researchr = {https://researchr.org/publication/TimmerKPS16},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {655},
pages = {193-219},
}