![]() | ![]() |
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] |