TY  - RPRT
TI  - Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking
AU  - Yoshiaki Takata
AU  - Ryoma Senda
AU  - Hiroyuki Seki
PY  - 2022
DO  - 10.1587/transinf.2022edl8030
UR  - https://arxiv.org/abs/2203.11826
ID  - 2203.11826
ER  -