@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},

address={},
month={},
note={To appear.},
key={}
}