Automata-Based CSL Model Checking

TitleAutomata-Based CSL Model Checking
Publication TypeJournal Article
Year of Publication2011
AuthorsZhang, L, Jansen, DN, Nielson, F, Hermanns, H
JournalLogical Methods in Computer Science
Volume8
PDF (Full text): 
Work Package: 
WP1