Adding invariants to event zone automata (2006)

by P Niebert, H Qu
Venue:in FORMATS, ser. LNCS