Efficient Probabilistic Model Checking of Systems with Ranged Probabilities (Q4899147)
From MaRDI portal
scientific article; zbMATH DE number 6122421
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient Probabilistic Model Checking of Systems with Ranged Probabilities |
scientific article; zbMATH DE number 6122421 |
Statements
Efficient Probabilistic Model Checking of Systems with Ranged Probabilities (English)
0 references
7 January 2013
0 references
