Publication

[YangJZ17] Distribution-based Bisimulation for Labelled Markov Processes Yang, P.; Jansen, D. N. and Zhang, L. In FORMATS, LNCS , 2017.
Note: to appear
Downloads: bib