Modelling, Reduction and Analysis of Markov Automata
| Title | Modelling, Reduction and Analysis of Markov Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2013 |
| Authors | Guck, D, Hatefi, H, Hermanns, H, Katoen, J-P, Timmer, M |
| Conference Name | Quantitative Evaluation of Systems, QEST 2013 |
| Publisher | Springer |
Work Package:
WP1
