Details for the publication abs-1106-2181.

Lei Song, Lijun Zhang, Jens Chr. Godskesen: Bisimulations Meet PCTL Equivalences for Probabilistic Automata. In Log. Methods Comput. Sci. 9(2), 2013. DOI BIB