@Misc{            CzerwinskiZetzsche2019a,
  Author        = "Czerwi{\'{n}}ski, Wojciech and Zetzsche, Georg",
  date-added    = "2019-09-25 16:20:59 +0200",
  date-modified = "2019-09-25 16:20:59 +0200",
  Note          = "Submitted",
  Title         = "An Approach to Regular Separability in Vector Addition Systems",
  Year          = "2019",
  File          = "An Approach to Regular Separability in Vector Addition Systems - CzerwinskiZetzsche2019a - a - a - f.pdf"
}

@Misc{ CzerwinskiZetzsche2019a, Author = "Czerwi{\'{n}}ski, Wojciech and Zetzsche, Georg", date-added = "2019-09-25 16:20:59 +0200", date-modified = "2019-09-25 16:20:59 +0200", Note = "Submitted", Title = "An Approach to Regular Separability in Vector Addition Systems", Year = "2019", File = "An Approach to Regular Separability in Vector Addition Systems - CzerwinskiZetzsche2019a - a - a - f.pdf" }