Keyword:hybrid automata

Publications
EasyChair Preprint 1127