@inproceedings{KoeZ23,
  title = {Regular {{Separators}} for {{VASS Coverability Languages}}},
  booktitle = {{{FSTTCS}} 2023},
  author = {K{\"o}cher, Chris and Zetzsche, Georg},
  year = {2023},
  series = {{{LIPIcs}}},
  volume = {284},
  pages = {15:1-15:19},
  publisher = {{Dagstuhl Publishing}},
  doi = {10.4230/LIPIcs.FSTTCS.2023.15},
  copyright = {All rights reserved}
}