@InProceedings{WZH07,
author={B. Wachter and L. Zhang and H. Hermanns},
title={Probabilistic Model Checking Modulo Theories},
booktitle={Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07)},
year={2007},

editor={},
pages={129--140},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}