@InProceedings{Ndu09,
author={U. Ndukwu},
title={Combining Proof-Based Verification with Model Checking for Probabilistic Systems},
booktitle={Proc. Workshop on Quantitative Formal Methods (QFM'09)},
year={2009},

editor={},
pages={},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}