DMCA

Partial order reduction for probabilistic systems (2004)

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