Searching for "Partial Order Reduction for Probabilistic Systems." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Partial order reduction for probabilistic systems
- …Partial Order Reduction for Probabilistic Systems Christel Baier, Marcus Größer ⋆ , Frank…
- Cited by 6 (2 self) – Add To MetaCart
-
Partial Order Reduction For Probabilistic Branching Time
- … properties for probabilistic systems. This paper presents partial order reduction criteria for Markov…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 2.
