@misc{indiciaee4a45cec9ff6,
  title = {Reachability relations of timed pushdown automata},
  author = {Lorenzo Clemente and Sławomir Lasota},
  year = {2020},
  doi = {10.1016/j.jcss.2020.11.003},
  url = {https://arxiv.org/abs/2012.15291},
  note = {Source identifier: 2012.15291}
}