@inproceedings{Leroux:2009:GVA:1606752.1607435,
    Address = {Washington, DC, USA},
    Author = {Leroux, J{\'e}r{\^o}me},
    BookTitle = {Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science},
    File = {The General Vector Addition System Reachability Problem by Presburger Inductive Invariants - Leroux (0) (1) - a - a - c.pdf},
    ISBN = {978-0-7695-3746-7},
    Pages = {4--13},
    Publisher = {IEEE Computer Society},
    Series = {LICS '09},
    Title = {The General Vector Addition System Reachability Problem by Presburger Inductive Invariants},
    URL = {http://dx.doi.org/10.1109/LICS.2009.10},
    Year = {2009},
    acmid = {1607435},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2009.10},
    date-added = {2012-06-13 11:45:43 +0200},
    date-modified = {2012-06-13 09:53:24 +0000},
    numpages = {10},
    doi = {10.1109/LICS.2009.10}
}

@inproceedings{Leroux:2009:GVA:1606752.1607435, Address = {Washington, DC, USA}, Author = {Leroux, J{\'e}r{\^o}me}, BookTitle = {Proceedings of the 2009 24th Annual IEEE Symposium on Logic In Computer Science}, File = {The General Vector Addition System Reachability Problem by Presburger Inductive Invariants - Leroux (0) (1) - a - a - c.pdf}, ISBN = {978-0-7695-3746-7}, Pages = {4--13}, Publisher = {IEEE Computer Society}, Series = {LICS '09}, Title = {The General Vector Addition System Reachability Problem by Presburger Inductive Invariants}, URL = {http://dx.doi.org/10.1109/LICS.2009.10}, Year = {2009}, acmid = {1607435}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2009.10}, date-added = {2012-06-13 11:45:43 +0200}, date-modified = {2012-06-13 09:53:24 +0000}, numpages = {10}, doi = {10.1109/LICS.2009.10} }