Peng Wu 0002 Catuscia Palamidessi Huimin Lin Symbolic Bisimulations for Probabilistic Systems. 179-188 2007 QEST http://doi.ieeecomputersociety.org/10.1109/QEST.2007.46 conf/qest/2007 db/conf/qest/qest2007.html#WuPL07