Model checking for performability
| Title | Model checking for performability |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Baier, C, Hahn, EM, Haverkort, BR, Hermanns, H, Katoen, J-P |
| Journal | Mathematical Structures in Computer Science |
| Volume | 23 |
| Pagination | 751–795 |
| URL | http://dx.doi.org/10.1017/S0960129512000254 |
| DOI | 10.1017/S0960129512000254 |
Work Package:
WP1
