@article{Demri201323,
    Author = {Demri, Stephane and Jurdzi{\'n}ski, Marcin and Lachish, Oded and Lazic, Ranko},
    File = {The covering and boundedness problems for branching vector addition systems - Demri, JurdziÅ„ski, Lachish, LaziÄ‡ (1) (0) - a - a - y.pdf},
    ISSN = {0022-0000},
    Journal = {Journal of Computer and System Sciences},
    Keywords = {branching vector addition systems},
    Number = {1},
    Pages = {23 - 38},
    Title = {The covering and boundedness problems for branching vector addition systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S002200001200092X},
    Volume = {79},
    Year = {2012},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S002200001200092X},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2012.04.002},
    date-added = {2012-12-18 17:10:44 +0000},
    date-modified = {2014-02-16 08:43:26 +0000},
    file-2 = {The covering and boundedness problems for branching vector addition systems - Demri, JurdziÅ„ski, Lachish, LaziÄ‡ (2) (0) - a - a - y.pdf},
    doi = {10.1016/j.jcss.2012.04.002}
}

@article{Demri201323, Author = {Demri, Stephane and Jurdzi{\'n}ski, Marcin and Lachish, Oded and Lazic, Ranko}, File = {The covering and boundedness problems for branching vector addition systems - Demri, JurdziÅ„ski, Lachish, LaziÄ‡ (1) (0) - a - a - y.pdf}, ISSN = {0022-0000}, Journal = {Journal of Computer and System Sciences}, Keywords = {branching vector addition systems}, Number = {1}, Pages = {23 - 38}, Title = {The covering and boundedness problems for branching vector addition systems}, URL = {http://www.sciencedirect.com/science/article/pii/S002200001200092X}, Volume = {79}, Year = {2012}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S002200001200092X}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.jcss.2012.04.002}, date-added = {2012-12-18 17:10:44 +0000}, date-modified = {2014-02-16 08:43:26 +0000}, file-2 = {The covering and boundedness problems for branching vector addition systems - Demri, JurdziÅ„ski, Lachish, LaziÄ‡ (2) (0) - a - a - y.pdf}, doi = {10.1016/j.jcss.2012.04.002} }