Leroux, 2013

Summary

Jérôme Leroux (2013) Vector Addition System Reversible Reachability Problem Logical Methods in Computer Science, 9(1) (URL)

BibTeX entry

@ARTICLE { lmcs:leroux13,
    AUTHOR = { J{\'e}r{\^o}me Leroux },
    TITLE = { Vector Addition System Reversible Reachability Problem },
    JOURNAL = { Logical Methods in Computer Science },
    VOLUME = { 9 },
    NUMBER = { 1 },
    YEAR = { 2013 },
    MONTH = { },
    DOI = { 10.2168/LMCS-9(1:5)2013 },
}