Modelling and Analysis of Markov Reward Automata
| Title | Modelling and Analysis of Markov Reward Automata |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Guck, D, Timmer, M, Hatefi, H, Ruijters, E, Stoelinga, M |
| Conference Name | Automated Technology for Verification and Analysis - 12th International Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-319-11936-6_13 |
| DOI | 10.1007/978-3-319-11936-6_13 |
Work Package:
WP1
