Details for the publication SegalaT05.
: Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. In Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy, pages 44-53, 2005. DOI BIB