1 paper
Gilles Geeraerts, Jean-François Raskin, Nathalie Sznajder
Event clock automata (ECA) are a model for timed languages that has been introduced by Alur, Fix and Henzinger as an alternative to timed automata, with better theoretical properti…