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: pdf, bib