Model Checking Restricted Sets of Timed Paths

Technical Report PDF: 
Technical Report Number: 
2004.31
TitleModel Checking Restricted Sets of Timed Paths
Publication TypeConference Paper
Year of Publication2004
AuthorsMarkey, N, Raskin J-F
Conference NameCONCUR