Heußner et al, 2012

Summary

Alexander Heußner, Tristan Le Gall, and Grégoire Sutre (2012) Safety Verification of Communicating One-Counter Machines FSTTCS 2012 LIPIcs vol. 18 Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 224–235 (URL)

BibTeX entry

@INPROCEEDINGS { HeussnerGS12,
    AUTHOR = { Alexander Heu{\ss}ner and Tristan Le Gall and Gr\'egoire Sutre },
    TITLE = { Safety Verification of Communicating One-Counter Machines },
    BOOKTITLE = { FSTTCS 2012 },
    CONFNAME = { IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science },
    CONFNUM = { 32nd },
    LOCATION = { Hyderabad, India },
    MONTH = { },
    YEAR = { 2012 },
    SERIES = { LIPIcs },
    VOLUME = { 18 },
    PUBLISHER = { Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik },
    PAGES = { 224--235 },
    DOI = { 10.4230/LIPIcs.FSTTCS.2012.224 },
}