F.: Partial order reduction for probabilistic systems (2004)

by C Baier, M Grosser, Ciesinski
Venue:In: Proc. 1st Int. Conf.n Quantitative Evaluation of Systems (QEST’04