Model Checking Algorithms for Markov Automata

TitleModel Checking Algorithms for Markov Automata
Publication TypeJournal Article
Year of Publication2012
AuthorsHatefi, H, Hermanns, H
JournalECEASST
Volume53
Work Package: 
WP1