@InProceedings{JKO+07,
author={D. Jansen and J.-P. Katoen and M. Oldenkamp and M. Stoelinga and I. Zapreev},
title={How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison},
booktitle={Haifa Verification Conference 2007},
year={2007},

editor={},
pages={69-85},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}