|
[KV10b]
J. A. Kumar and S. Vasudevan.
Automatic compositional reasoning for probabilistic model checking of hardware designs.
In Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10), IEEE CS Press.
2010.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|