Details for the publication EisentrautGHS015.

Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns (), Lei Song, Lijun Zhang: Probabilistic Bisimulation for Realistic Schedulers. In FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings, volume 9109 of Lecture Notes in Computer Science, pages 248-264, 2015. DOI BIB