TY  - RPRT
TI  - Event-Clock Nested Automata
AU  - Laura Bozzelli
AU  - Aniello Murano
AU  - Adriano Peron
PY  - 2017
UR  - https://arxiv.org/abs/1711.08314
ID  - 1711.08314
ER  -