Jan Friso Groote, Jao Rivera Verduzco, Erik P. de Vink. An Efficient Algorithm to Determine Probabilistic Bisimulation. Algorithms, 11(9):131, 2018. [doi]
@article{GrooteVV18,
title = {An Efficient Algorithm to Determine Probabilistic Bisimulation},
author = {Jan Friso Groote and Jao Rivera Verduzco and Erik P. de Vink},
year = {2018},
doi = {10.3390/a11090131},
url = {https://doi.org/10.3390/a11090131},
researchr = {https://researchr.org/publication/GrooteVV18},
cites = {0},
citedby = {0},
journal = {Algorithms},
volume = {11},
number = {9},
pages = {131},
}