Marcel Oldenkamp

According to our database, Marcel Oldenkamp authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.

David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan S. Zapreev

Proceedings of the Hardware and Software: Verification and Testing, 2007