Details for the publication JansenKOSZ07.

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. In Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, volume 4899 of Lecture Notes in Computer Science, pages 69-85, 2007. DOI BIB