Partial order reduction for probabilistic systems (2004)

Cached

Download Links

by Christel Baier , Marcus Größer , Frank Ciesinski
Venue:In Proc. 1st QEST
Citations:17 - 3 self