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