@conference {248,
	title = {Accelerating Parametric Probabilistic Verification},
	booktitle = {Quantitative Evaluation of Systems (QEST{\textquoteright}14)},
	year = {2014},
	publisher = {Springer},
	organization = {Springer},
	author = {Nils Jansen and Corzilius, Florian and Volk, Matthias and Ralf Wimmer and Erika {\'A}brah{\'a}m and Joost-Pieter Katoen and Bernd Becker}
}