Clemente et al, 2013

Summary

Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, and Grégoire Sutre (2013) Reachability of Communicating Timed Processes FoSSaCS 2013 Frank Pfenning Springer 81–96 (URL)

BibTeX entry

@INPROCEEDINGS { ClementeHerbreteauStainerSutre:2013:FOSSACS,
    AUTHOR = { Lorenzo Clemente and Fr\'ed\'eric Herbreteau and Am\'elie Stainer and Gr\'egoire Sutre },
    TITLE = { Reachability of Communicating Timed Processes },
    BOOKTITLE = { FoSSaCS 2013 },
    CONFNUM = { 16th },
    CONFNAME = { International Conference on Foundations of Software Science and Computation Structures },
    LOCATION = { Rome, Italy },
    EDITOR = { Frank Pfenning },
    SERIES = { },
    VOLUME = { 7794 },
    PAGES = { 81--96 },
    YEAR = { 2013 },
    MONTH = { },
    PUBLISHER = { Springer },
    URL = { http://arxiv.org/abs/1209.0571 },
    DOI = { 10.1007/978-3-642-37075-5_6 },
}