|
[JKO+07]
D. Jansen, J.-P. Katoen, M. Oldenkamp, M. Stoelinga and I. Zapreev.
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
In Haifa Verification Conference 2007, pages 69-85.
2007.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|