@inproceedings{BHM18,
  author    = {Michael Blondin and Christoph Haase and Filip Mazowiecki},
  title     = {Affine Extensions of Integer Vector Addition Systems
                  with States}, 
  booktitle = {Proc.\ $29^\text{th}$ International Conference on
                  Concurrency Theory ({CONCUR})},
  pages     = {14:1--14:17},
  doi       = {10.4230/LIPIcs.CONCUR.2018.14},
  year      = {2018}
}