@inproceedings{10.1109/LICS.2013.9,
    Address = {Los Alamitos, CA, USA},
    Author = {Leroux, Jerome and Penelle, Vincent and Sutre, Gregoire},
    BookTitle = {Proc. of LICS'13},
    File = {On the Context-Freeness Problem for Vector Addition Systems - Leroux, Penelle, Sutre (1) (0) - a - a - q.pdf},
    ISSN = {1043-6871},
    Journal = {Logic in Computer Science, Symposium on},
    Keywords = {vector addition systems},
    Pages = {43--52},
    Publisher = {IEEE Computer Society},
    Title = {On the Context-Freeness Problem for Vector Addition Systems},
    Volume = {0},
    Year = {2013},
    bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/LICS.2013.9},
    date-added = {2013-10-25 09:17:19 +0000},
    date-modified = {2016-07-26 09:08:12 +0000},
    file-2 = {On the Context-Freeness Problem for Vector Addition Systems - Leroux, Penelle, Sutre (0) (0) - a - a - q.pdf},
    file-3 = {On the Context-Freeness Problem for Vector Addition Systems - Leroux, Penelle, Sutre (0)0 (0) - a - a - q.pdf},
    doi = {10.1109/LICS.2013.9}
}

@inproceedings{10.1109/LICS.2013.9, Address = {Los Alamitos, CA, USA}, Author = {Leroux, Jerome and Penelle, Vincent and Sutre, Gregoire}, BookTitle = {Proc. of LICS'13}, File = {On the Context-Freeness Problem for Vector Addition Systems - Leroux, Penelle, Sutre (1) (0) - a - a - q.pdf}, ISSN = {1043-6871}, Journal = {Logic in Computer Science, Symposium on}, Keywords = {vector addition systems}, Pages = {43--52}, Publisher = {IEEE Computer Society}, Title = {On the Context-Freeness Problem for Vector Addition Systems}, Volume = {0}, Year = {2013}, bdsk-url-1 = {http://doi.ieeecomputersociety.org/10.1109/LICS.2013.9}, date-added = {2013-10-25 09:17:19 +0000}, date-modified = {2016-07-26 09:08:12 +0000}, file-2 = {On the Context-Freeness Problem for Vector Addition Systems - Leroux, Penelle, Sutre (0) (0) - a - a - q.pdf}, file-3 = {On the Context-Freeness Problem for Vector Addition Systems - Leroux, Penelle, Sutre (0)0 (0) - a - a - q.pdf}, doi = {10.1109/LICS.2013.9} }