Trade-off Analysis Meets Probabilistic Model Checking

TitleTrade-off Analysis Meets Probabilistic Model Checking
Publication TypeConference Paper
Year of Publication2014
AuthorsBaier, C, Dubslaff, C, Klüppelholz, S
Conference NameProc. of the 23rd Conference on Computer Science Logic and the 29th Symposium on Logic In Computer Science (CSL-LICS)
PublisherACM
Work Package: 
WP1