Details for the publication ZhangYSHEJG18.

Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns (), Christian Eisentraut, David N. Jansen (), Jens Chr. Godskesen: Probabilistic bisimulation for realistic schedulers. In Acta Informatica 55(6):461-488, 2018. DOI BIB