Partial order reduction for probabilistic systems (2004)

by C Baier, M Groesser, F Ciesinski
Venue:In Proc. 1st International Conference on Quantitative Evaluation of Systems (QEST’04