@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={} }