Lazić, 2010

Summary

Ranko Lazić (2010) The reachability problem for branching vector addition systems requires doubly-exponential space (URL)

BibTeX entry

@ARTICLE { Lazic10,
    AUTHOR = { Ranko Lazi\'c },
    TITLE = { The reachability problem for branching vector addition systems requires doubly-exponential space },
    JOURNAL = { },
    VOLUME = { 110 },
    NUMBER = { 17 },
    PAGES = { 740--745 },
    YEAR = { 2010 },
    DOI = { 10.1016/j.ipl.2010.06.008 },
}