Demri, 2013

Summary

Stéphane Demri (2013) On selective unboundedness of VASS Journal of Computer and System Sciences, 79(5):689–713 (URL)

BibTeX entry

@ARTICLE { demri13,
    AUTHOR = { St{\'e}phane Demri },
    TITLE = { On selective unboundedness of {VASS} },
    JOURNAL = { Journal of Computer and System Sciences },
    VOLUME = { 79 },
    NUMBER = { 5 },
    PAGES = { 689--713 },
    DOI = { 10.1016/j.jcss.2013.01.014 },
    YEAR = { 2013 },
    MONTH = { },
}