Symbolic bisimulations for probabilistic systems (2007)

by Peng Wu, Catuscia Palamidessi, Huimin Lin
Venue:In QEST’07