Event-clock automata: from theory to practice

Technical Report PDF: 
Technical Report Number: 
2011.140
TitleEvent-clock automata: from theory to practice
Publication TypeConference Paper
Year of Publication2011
AuthorsGeeraerts, G, Raskin J-F, Sznajder N
Conference NameProceedings of FORMATS 2011
PublisherSpringer