@InProceedings{KKNP09,
author={M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker},
title={Abstraction Refinement for Probabilistic Software},
booktitle={Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09)},
year={2009},

editor={N. Jones and M. Muller-Olm},
pages={182-197},
organization={},
publisher={Springer},
series={LNCS},
volume={5403},
address={},
month={},
note={},
key={}
}