TY  - RPRT
TI  - Coverability is Undecidable in One-dimensional Pushdown Vector Addition Systems with Resets
AU  - Sylvain Schmitz
AU  - Georg Zetzsche
PY  - 2019
DO  - 10.1007/978-3-030-30806-3_15
UR  - https://arxiv.org/abs/1906.07069
ID  - 1906.07069
ER  -