@misc{indiciae681c2d97d18c,
  title = {Separability of Reachability Sets of Vector Addition Systems},
  author = {Lorenzo Clemente and Wojciech Czerwiński and Sławomir Lasota and Charles Paperman},
  year = {2016},
  url = {https://arxiv.org/abs/1609.00214},
  note = {Source identifier: 1609.00214}
}