Model checking for performability

TitleModel checking for performability
Publication TypeJournal Article
Year of Publication2013
AuthorsBaier, C, Hahn, EM, Haverkort, BR, Hermanns, H, Katoen, J-P
JournalMathematical Structures in Computer Science
Volume23
Pagination751–795
URLhttp://dx.doi.org/10.1017/S0960129512000254
DOI10.1017/S0960129512000254
Work Package: 
WP1