Leroux, 2012

Summary

Jérôme Leroux (2012) Vector Addition Systems Reachability Problem (A Simpler Solution) Alan Turing Centenary Conf. Electronic Proceedings in Theoretical Computer Science vol. 10 Andrei Voronkov 214–228 (URL)

BibTeX entry

@INPROCEEDINGS { LEROUX-TURING100,
    AUTHOR = { J\'er\^ome Leroux },
    TITLE = { Vector Addition Systems Reachability Problem (A Simpler Solution) },
    BOOKTITLE = { Alan Turing Centenary Conf. },
    CONFNAME = { The Alan Turing Centenary Conference },
    LOCATION = { Manchester, UK },
    EDITOR = { Andrei Voronkov },
    SERIES = { Electronic Proceedings in Theoretical Computer Science },
    VOLUME = { 10 },
    PAGES = { 214--228 },
    MONTH = { },
    YEAR = { 2012 },
    URL = { http://hal.archives-ouvertes.fr/hal-00674970 },
}