@conference {356,
	title = {Explicit Model Checking of Very Large {MDP} using Partitioning and Secondary Storage},
	booktitle = {ATVA 2015},
	year = {In Press},
	url = {http://arxiv.org/abs/1504.02861},
	author = {Arnd Hartmanns and Holger Hermanns}
}