Leroux et al, 2013

Summary

Jérôme Leroux, M. Praveen, and Grégoire Sutre (2013) A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness Concur 2013 Pedro R. D'Argenio and Hernán Melgratti Springer 137–151 (URL)

BibTeX entry

@INPROCEEDINGS { concurlerouxPS13b,
    AUTHOR = { J{\'e}r{\^o}me Leroux and M. Praveen and Gr{\'e}goire Sutre },
    TITLE = { A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness },
    YEAR = { 2013 },
    MONTH = { },
    PAGES = { 137--151 },
    DOI = { 10.1007/978-3-642-40184-8_11 },
    BOOKTITLE = { Concur 2013 },
    CONFNAME = { International Conference on Concurrency Theory },
    CONFNUM = { 24th },
    LOCATION = { Buenos Aires, Argentina },
    EDITOR = { Pedro R. D'Argenio and Hern\'an Melgratti },
    PUBLISHER = { Springer },
    SERIES = { },
    VOLUME = { 8052 },
}