Analysis of Timed and Long-Run Objectives for Markov Automata
| Title | Analysis of Timed and Long-Run Objectives for Markov Automata |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Guck, D, Hatefi, H, Hermanns, H, Katoen, J-P, Timmer, M |
| Journal | Logical Methods in Computer Science |
| Volume | 10 |
| URL | http://dx.doi.org/10.2168/LMCS-10(3:17)2014 |
| DOI | 10.2168/LMCS-10(3:17)2014 |
Work Package:
WP1
