@InProceedings{KH09a,
author={M. Kattenbelt and M. Huth},
title={Verification and Refutation of Probabilistic Specifications via Games},
booktitle={Proc. 29th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'09)},
year={2009},

editor={R. Kannan and K. N. Kumar},
pages={251--262},
organization={},
publisher={{LIPIcs}},
series={},
volume={4},
address={},
month={},
note={},
key={}
}