Keyword:quantified event automata

Papers
EasyChair Preprint no. 521