@article{Lazic:IPL:2010,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Lazi\'{c}, Ranko},
    File = {The reachability problem for branching vector addition systems requires doubly-exponential space - Lazic (0) (0) - a - a - g.pdf},
    ISSN = {0020-0190},
    Journal = {Inf. Process. Lett.},
    Keywords = {branching vector addition systems},
    Month = {August},
    Number = {17},
    Pages = {740--745},
    Publisher = {Elsevier North-Holland, Inc.},
    Title = {The reachability problem for branching vector addition systems requires doubly-exponential space},
    URL = {http://dx.doi.org/10.1016/j.ipl.2010.06.008},
    Volume = {110},
    Year = {2010},
    acmid = {1836458},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2010.06.008},
    date-added = {2013-11-11 12:47:29 +0000},
    date-modified = {2017-03-29 16:37:28 +0000},
    file-2 = {The reachability problem for branching vector addition systems requires doubly-exponential space - Lazic (1) (0) - a - a - g.pdf},
    issue_date = {August, 2010},
    numpages = {6},
    doi = {10.1016/j.ipl.2010.06.008}
}

@article{Lazic:IPL:2010, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Lazi\'{c}, Ranko}, File = {The reachability problem for branching vector addition systems requires doubly-exponential space - Lazic (0) (0) - a - a - g.pdf}, ISSN = {0020-0190}, Journal = {Inf. Process. Lett.}, Keywords = {branching vector addition systems}, Month = {August}, Number = {17}, Pages = {740--745}, Publisher = {Elsevier North-Holland, Inc.}, Title = {The reachability problem for branching vector addition systems requires doubly-exponential space}, URL = {http://dx.doi.org/10.1016/j.ipl.2010.06.008}, Volume = {110}, Year = {2010}, acmid = {1836458}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ipl.2010.06.008}, date-added = {2013-11-11 12:47:29 +0000}, date-modified = {2017-03-29 16:37:28 +0000}, file-2 = {The reachability problem for branching vector addition systems requires doubly-exponential space - Lazic (1) (0) - a - a - g.pdf}, issue_date = {August, 2010}, numpages = {6}, doi = {10.1016/j.ipl.2010.06.008} }