TY  - RPRT
TI  - Coverability in 1-VASS with Disequality Tests
AU  - Shaull Almagor
AU  - Nathann Cohen
AU  - Guillermo A. Pérez
AU  - Mahsa Shirmohammadi
AU  - James Worrell
PY  - 2020
UR  - https://arxiv.org/abs/1902.06576
ID  - 1902.06576
ER  -