| |
| 2007 | ||
|---|---|---|
| 1 | EE | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev: How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison. Haifa Verification Conference 2007: 69-85 |
| 1 | David N. Jansen | [1] |
| 2 | Joost-Pieter Katoen | [1] |
| 3 | Mariëlle Stoelinga | [1] |
| 4 | Ivan S. Zapreev | [1] |