@techreport{RR-08-01,
  author = "M. Kattenbelt and M. Kwiatkowska and G. Norman and D. Parker",
  institution = "OUCL",
  month = "February",
  number = "RR-08-01",
  pages = "25",
  title = "GAME-BASED PROBABILISTIC PREDICATE ABSTRACTION IN PRISM",
  year = "2008",
}