Leroux et al, 2013

Summary

Jérôme Leroux, Vincent Penelle, and Grégoire Sutre (2013) On the Context-Freeness Problem for Vector Addition Systems LICS 2013 IEEE Computer Society Press 43–52 (URL)

BibTeX entry

@INPROCEEDINGS { lerouxPS13,
    OAI = { hal.archives-ouvertes.fr:hal-00788744 },
    URL = { http://hal.archives-ouvertes.fr/hal-00788744 },
    TITLE = { On the Context-Freeness Problem for Vector Addition Systems },
    AUTHOR = { Leroux, J{\'e}r{\^o}me and Penelle, Vincent and Sutre, Gr{\'e}goire },
    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.9 },
    PAGES = { 43--52 },
    PUBLISHER = { IEEE Computer Society Press },
}