@InProceedings{KKNP08a,
author={M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker},
title={Game-Based Probabilistic Predicate Abstraction in {PRISM}},
booktitle={Proc. 6th Workshop on Quantitative Aspects of Programming Languages (QAPL'08)},
year={2008},

address={},
month={},
note={},
key={}
}