@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={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={To appear}
}