Publication [YangJZ17] Distribution-Based Bisimulation for Labelled Markov Processes Yang, P.; Jansen, D. N. and Zhang, L. In FORMATS, pages 170-186, LNCS 10419, 2017.Downloads: bib
