Publication [ZhangYSHEJG18] Probabilistic Bisimulation for Realistic Schedulers Zhang, L.; Yang, P.; Song, L.; Hermanns, H.; Eisentraut, C.; Jansen, D. N. and Godskesen, J. C. In Acta Inf., 2018. Note: Accepted for publication.Downloads: bib
