|
[ZHHW08]
L. Zhang, H. Hermanns, E. M. Hahn and B. Wachter.
Time-bounded model checking of infinite-state continuous-time Markov chains.
In Proc. 8th International Conference on Application of Concurrency to System Design (ACSD'08), pages 98-107.
2008.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|