Robust Analysis of Timed Automata via Channel Machines

Technical Report PDF: 
Technical Report Number: 
2008.98
TitleRobust Analysis of Timed Automata via Channel Machines
Publication TypeConference Paper
Year of Publication2008
AuthorsBouyer, P, Markey N, Reynier P-A
Conference NameFoSSaCS