Leroux, 2013

Summary

Jérôme Leroux (2013) Presburger Vector Addition Systems LICS 2013 IEEE Computer Society Press 23–32 (URL)

BibTeX entry

@INPROCEEDINGS { leroux13,
    OAI = { hal.archives-ouvertes.fr:hal-00780462 },
    URL = { http://hal.archives-ouvertes.fr/hal-00780462/ },
    TITLE = { Presburger Vector Addition Systems },
    AUTHOR = { Leroux, J{\'e}r{\^o}me },
    YEAR = { 2013 },
    MONTH = { },
    BOOKTITLE = { LICS 2013 },
    CONFNAME = { Annual ACM/IEEE Symposium on Logic in Computer Science },
    CONFNUM = { 28th },
    LOCATION = { New Orleans, Louisiana, USA },
    DOI = { 10.1109/LICS.2013.7 },
    PAGES = { 23--32 },
    PUBLISHER = { IEEE Computer Society Press },
}