Partial order reduction for probabilistic systems (2004)

by Christel Baier, Marcus Größer, Frank Ciesinski
Venue:In Proc. 1st QEST