| |
| 2008 | ||
|---|---|---|
| 3 | EE | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking. Haifa Verification Conference 2008: 129-148 |
| 2 | EE | Miguel E. Andrés, Peter van Rossum: Conditional Probabilities over Probabilistic and Nondeterministic Systems. TACAS 2008: 157-172 |
| 1 | EE | Miguel E. Andrés, Pedro R. D'Argenio, Peter van Rossum: Significant Diagnostic Counterexamples in Probabilistic Model Checking CoRR abs/0806.1139: (2008) |
| 1 | Pedro R. D'Argenio | [1] [3] |
| 2 | Peter van Rossum | [1] [2] [3] |