Model Checking Algorithms for Markov Automata
| Title | Model Checking Algorithms for Markov Automata |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Hatefi, H, Hermanns, H |
| Journal | ECEASST |
| Volume | 53 |
Work Package:
WP1
| Title | Model Checking Algorithms for Markov Automata |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Hatefi, H, Hermanns, H |
| Journal | ECEASST |
| Volume | 53 |
