On the Context-Freeness Problem for Vector Addition Systems.

Jrme Leroux, Vincent Penelle, Grgoire Sutre

Browse the full LICS paper archive.