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