TY  - RPRT
TI  - Synchronization of Deterministic Visibly Push-Down Automata
AU  - Henning Fernau
AU  - Petra Wolf
PY  - 2020
UR  - https://arxiv.org/abs/2005.01374
ID  - 2005.01374
ER  -