@inproceedings{KH09,
  title = "Verification and Refutation of Probabilistic Specifications via Games",
  author = "M. Kattenbelt and M. Huth",
  year = "2009",
  booktitle = "Proc. 29th International Conference on the Foundations of Software Technology and Theoretical Computer Science (FSTTCS `09)",
  howpublished = "To appear",
}