- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | 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] |