An Approach to Regular Separability in Vector Addition Systems.

Wojciech Czerwinski, Georg Zetzsche

Browse the full LICS paper archive.