Real-Time Model-Checking: Parameters everywhere

Technical Report PDF: 
Technical Report Number: 
2006.70
TitleReal-Time Model-Checking: Parameters everywhere
Publication TypeJournal Article
Year of Publication2007
AuthorsBruyère, V, Raskin J-F
JournalLogical Methods in Computer Science
Volume3