On the Coverability Problem for Pushdown Vector Addition Systems in One Dimension.

Jrme Leroux, Grgoire Sutre, Patrick Totzke

Browse the full ICALP paper archive.