Model-Checking for Weighted Timed Automata

Technical Report PDF: 
Technical Report Number: 
2004.23
TitleModel-Checking for Weighted Timed Automata
Publication TypeConference Paper
Year of Publication2004
AuthorsBrihaye, T, Bruyère V, Raskin J-F
Conference NameFORMATS/FTRTFT