|
[WZH07]
B. Wachter, L. Zhang and H. Hermanns.
Probabilistic Model Checking Modulo Theories.
In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07).
September 2007.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|