Invariants for One-Counter Automata with Disequality Tests.

Dmitry Chistikov, Jrme Leroux, Henry Sinclair-Banks, Nicolas Waldburger

Browse the full CONCUR paper archive.