@misc{indiciaed2373d96c0bf,
  title = {Integer Vector Addition Systems with States},
  author = {Christoph Haase and Simon Halfon},
  year = {2014},
  doi = {10.1007/978-3-319-11439-2\_9},
  url = {https://arxiv.org/abs/1406.2590},
  note = {Source identifier: 1406.2590}
}