Details for the publication SongZG11.

Lei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations Meet PCTL Equivalences for Probabilistic Automata. In CONCUR 2011 - Concurrency Theory - 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011. Proceedings, volume 6901 of Lecture Notes in Computer Science, pages 108-123, 2011. DOI BIB