Home
Kosaraju, 1982
Summary
(1982) Decidability of reachability in vector addition systems STOC '82 267–281 (URL)
BibTeX entry
@INPROCEEDINGS { Kosaraju82,
AUTHOR = { Kosaraju, S. Rao },
TITLE = { Decidability of reachability in vector addition systems },
BOOKTITLE = { STOC '82 },
YEAR = { 1982 },
PAGES = { 267--281 },
LOCATION = { San Francisco, California, USA },
DOI = { 10.1145/800070.802201 },
}