TY  - RPRT
TI  - Binary reachability of timed pushdown automata via quantifier elimination and cyclic order atoms
AU  - Lorenzo Clemente
AU  - Sławomir Lasota
PY  - 2018
UR  - https://arxiv.org/abs/1804.10772
ID  - 1804.10772
ER  -