Extending Rackoff's EXPSPACE Technique
Rackoff, 1978
Summary
(1978) The covering and boundedness problems for vector addition systems (URL)
BibTeX entry
@ARTICLE { Rackoff78,
TITLE = { The covering and boundedness problems for vector addition systems },
AUTHOR = { Charles Rackoff },
JOURNAL = { },
VOLUME = { 6 },
NUMBER = { 2 },
YEAR = { 1978 },
PAGES = { 223--231 },
DOI = { 10.1016/0304-3975(78)90036-1 },
}