@inproceedings{HH-rp14,
    Address = {Oxford, UK},
    Author = {Haase, Christoph and Halfon, Simon},
    BookTitle = {{P}roceedings of the 8th {W}orkshop on {R}eachability {P}roblems in {C}omputational {M}odels ({RP}'14)},
    Editor = {Ouaknine, Jo{\"e}l and Potapov, Igor and Worrell, James},
    File = {Integer Vector Addition Systems with States - Haase, Halfon (0) (1) - a - a - t.pdf},
    Month = {September},
    Pages = {112-124},
    Publisher = {Springer},
    Series = {Lecture Notes in Computer Science},
    Title = {Integer Vector Addition Systems with States},
    URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HH-rp14.pdf},
    Volume = {8762},
    Year = {2014},
    bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HH-rp14.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-319-11439-2\_9},
    date-added = {2014-10-06 15:15:10 +0000},
    date-modified = {2014-10-06 15:15:10 +0000},
    doi = {10.1007/978-3-319-11439-2_9}
}

@inproceedings{HH-rp14, Address = {Oxford, UK}, Author = {Haase, Christoph and Halfon, Simon}, BookTitle = {{P}roceedings of the 8th {W}orkshop on {R}eachability {P}roblems in {C}omputational {M}odels ({RP}'14)}, Editor = {Ouaknine, Jo{\"e}l and Potapov, Igor and Worrell, James}, File = {Integer Vector Addition Systems with States - Haase, Halfon (0) (1) - a - a - t.pdf}, Month = {September}, Pages = {112-124}, Publisher = {Springer}, Series = {Lecture Notes in Computer Science}, Title = {Integer Vector Addition Systems with States}, URL = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HH-rp14.pdf}, Volume = {8762}, Year = {2014}, bdsk-url-1 = {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/HH-rp14.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-319-11439-2_9}, date-added = {2014-10-06 15:15:10 +0000}, date-modified = {2014-10-06 15:15:10 +0000}, doi = {10.1007/978-3-319-11439-2_9} }