TY  - RPRT
TI  - Reachability relations of timed pushdown automata
AU  - Lorenzo Clemente
AU  - Sławomir Lasota
PY  - 2020
DO  - 10.1016/j.jcss.2020.11.003
UR  - https://arxiv.org/abs/2012.15291
ID  - 2012.15291
ER  -