@InProceedings{JansenKOSZ_HVC07,
	title     = {How Fast and Fat Is Your Probabilistic Model Checker?},
	author    = {
			David N. Jansen and
			Joost-Pieter Katoen and
			Marcel Oldenkamp and
			Mari\"elle Stoelinga and
			Ivan Zapreev},
	booktitle = {Haifa Verification Conference, HVC'07},
	publisher = {Springer},
	series    = {LNCS},
	year      = {2007},
	note      = {To be published},
}