Symbolic bisimulations for probabilistic systems (2007)

by P Wu, C Palamidessi, H Lin
Venue:In Proc. QEST’07