|
[HH09]
A. Hartmanns and H. Hermanns.
A Modest Approach to Checking Probabilistic Timed Automata.
In Proc. 6th International Conference on Quantitative Evaluation of Systems (QEST'09). To appear.
September 2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|