Leroux, 2013

Summary

Jérôme Leroux (2013) Acceleration for Petri Nets ATVA 2013 Dang Van Hung and Mizuhito Ogawa Springer 1–4 (URL)

BibTeX entry

@INPROCEEDINGS { atva:Leroux13,
    AUTHOR = { J{\'e}r{\^o}me Leroux },
    TITLE = { Acceleration for Petri Nets },
    BOOKTITLE = { ATVA 2013 },
    MONTH = { },
    CONFNAME = { International Symposium on Automated Technology for Verification and Analysis },
    CONFNUM = { 11th },
    LOCATION = { Hanoi, Vietnam },
    EDITOR = { Dang Van Hung and Mizuhito Ogawa },
    YEAR = { 2013 },
    PAGES = { 1--4 },
    DOI = { 10.1007/978-3-319-02444-8_1 },
    PUBLISHER = { Springer },
    SERIES = { },
    VOLUME = { 8172 },
    NOTE = { Invited paper },
}