Model checking restricted sets of timed paths

Technical Report PDF: 
Technical Report Number: 
2005.69
TitleModel checking restricted sets of timed paths
Publication TypeJournal Article
Year of Publication2006
AuthorsMarkey, N, Raskin J-F
JournalTheor. Comput. Sci.
Volume358
Pagination273-292