@InProceedings{KV10b,
author={J. A. Kumar and S. Vasudevan},
title={Automatic compositional reasoning for probabilistic model checking of hardware designs},
booktitle={Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10)},
year={2010},

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