bibtex

@inproceedings{UFA+6,
    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},
    pages = {736--751},
    team = {TEMPO},
}

URL


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

info visites 4190076