TY  - RPRT
TI  - Revisiting Parameter Synthesis for One-Counter Automata
AU  - Guillermo A. Pérez
AU  - Ritam Raha
PY  - 2021
UR  - https://arxiv.org/abs/2005.01071
ID  - 2005.01071
ER  -