@misc{indiciae938678b2713a,
  title = {Demystifying Reachability in Vector Addition Systems},
  author = {Jérôme Leroux and Sylvain Schmitz},
  year = {2015},
  doi = {10.1109/lics.2015.16},
  url = {https://arxiv.org/abs/1503.00745},
  note = {Source identifier: 1503.00745}
}