@article{BonnetEtAl:2012,
    Author = {Bonnet, R{\'e}mi and Finkel, Alain and Leroux, J{\'e}r{\^o}me and Zeitoun, Marc},
    File = {Model Checking Vector Addition Systems with one zero-test - Bonnet, Finkel, Leroux, Zeitoun (0) (0) - a - a - i.pdf},
    Issue = {2},
    Journal = {LMCS},
    Keywords = {Petri nets and counter automata},
    Number = {11},
    Pages = {1--25},
    Title = {Model Checking Vector Addition Systems with one zero-test},
    Volume = {8},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-8(2:11)2012},
    date-added = {2012-07-05 19:38:41 +0200},
    date-modified = {2013-12-22 17:17:28 +0000},
    doi = {10.2168/LMCS-8(2:11)2012}
}

@article{BonnetEtAl:2012, Author = {Bonnet, R{\'e}mi and Finkel, Alain and Leroux, J{\'e}r{\^o}me and Zeitoun, Marc}, File = {Model Checking Vector Addition Systems with one zero-test - Bonnet, Finkel, Leroux, Zeitoun (0) (0) - a - a - i.pdf}, Issue = {2}, Journal = {LMCS}, Keywords = {Petri nets and counter automata}, Number = {11}, Pages = {1--25}, Title = {Model Checking Vector Addition Systems with one zero-test}, Volume = {8}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.2168/LMCS-8(2:11)2012}, date-added = {2012-07-05 19:38:41 +0200}, date-modified = {2013-12-22 17:17:28 +0000}, doi = {10.2168/LMCS-8(2:11)2012} }