@inproceedings{KKNP09, title = "Abstraction Refinement for Probabilistic Software", author = "M. Kattenbelt, M. Kwiatkowska, G. Norman and D. Parker", year = "2009", booktitle = "Proc. 10th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI `09)", month = "January", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://qav.comlab.ox.ac.uk/papers/vmcai09.pdf", }