On model-checking timed automata with stopwatch observers

Technical Report PDF: 
Technical Report Number: 
2006.60
TitleOn model-checking timed automata with stopwatch observers
Publication TypeJournal Article
Year of Publication2006
AuthorsBrihaye, T, Bruyère V, Raskin J-F
JournalInf. Comput.
Volume204
Pagination408-433