Leroux, 2011

Summary

Jérôme Leroux (2011) Vector addition system reachability problem: a short self-contained proof POPL 2011 ACM Press 307–316 (URL)

BibTeX entry

@INPROCEEDINGS { Leroux11,
    AUTHOR = { J{\'e}r\^ome Leroux },
    TITLE = { Vector addition system reachability problem: a short self-contained proof },
    BOOKTITLE = { POPL 2011 },
    YEAR = { 2011 },
    LOCATION = { Austin, TX, USA },
    PAGES = { 307--316 },
    DOI = { 10.1145/1926385.1926421 },
    PUBLISHER = { ACM Press },
}