|
[HHWZ09]
H. Hermanns, E. M. Hahn, B. Wachter and L. Zhang.
Time-bounded model checking of infinite-state continuous-time Markov chains.
Fundamenta Informaticae, 95(1), pages 129-155.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|