Marcel Oldenkamp

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

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)