TY  - RPRT
TI  - Countdown games, and simulation on (succinct) one-counter nets
AU  - Petr Jancar
AU  - Petr Osicka
AU  - Zdenek Sawa
PY  - 2023
DO  - 10.46298/lmcs-19(1:11)2023
UR  - https://arxiv.org/abs/2008.11753
ID  - 2008.11753
ER  -