Verimag

bibtex

@inproceedings{UFA+16,
    title = { Online Timed Pattern Matching Using Derivatives },
    author = {Ulus, Dogan and Ferr\'ere, Thomas and Asarin, Eugene and Maler, Oded},
    year = {2016},
    booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETA},
    crossref = {DBLP:conf/tacas/2016},
    pages = {736--751},
    team = {TEMPO},
    biburl = {http://dblp.uni-trier.de/rec/bib/conf/tacas/UlusFAM16}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 776723