bibtex

@inproceedings{UFA+14,
    title = { Timed Pattern Matching },
    author = {Ulus, Dogan and Ferr\'ere, Thomas and Asarin, Eugene and Maler, Oded},
    year = {2014},
    booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
    crossref = {DBLP:conf/formats/2014},
    pages = {222--236},
    team = {TEMPO},
    timestamp = {Tue, 12 Aug 2014 13:24:16 +0200}, biburl = {http://dblp.uni-trier.de/rec/bib/conf/formats/UlusFAM14}, bibsource = {dblp computer science bibliography, http://dblp.org},
}

URL


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

info visites 4096067