@InProceedings{KatoenKZJ_TACAS07,
	title     = {Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking},
	author    = {
			Joost-Pieter Katoen and
			Tim Kemna and
			Ivan Zapreev and
			David N. Jansen},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, TACAS'07},
	publisher = {Springer},
	series    = {LNCS},
	volume    = {4424},
	year      = {2007},
	editor    = {Orna Grumberg and Michael Huth},
	isbn      = {978-3-540-71208-4},
	pages     = {87--101}
}