TY  - RPRT
TI  - On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension
AU  - Jérôme Leroux
AU  - Grégoire Sutre
AU  - Patrick Totzke
PY  - 2015
UR  - https://arxiv.org/abs/1503.04018
ID  - 1503.04018
ER  -