On regions and zones for event-clock automata

TitleOn regions and zones for event-clock automata
Publication TypeJournal Article
Year of Publication2014
AuthorsGeeraerts, G, Raskin JF, Sznajder N
JournalFormal Methods in System Design
DOIhttp://dx.doi.org/10.1007/s10703-014-0212-1