Coverability in 1-VASS with Disequality Tests.

Shaull Almagor, Nathann Cohen, Guillermo A. Prez, Mahsa Shirmohammadi, James Worrell

Browse the full CONCUR paper archive.