Regular Separability in Bchi VASS.

Pascal Baumann, Roland Meyer, Georg Zetzsche

Browse the full STACS paper archive.