bibtex

@inproceedings{ABD8,
    title = { Distance on Timed Words and Applications },
    author = {Asarin, Eugene and Basset, Nicolas and Degorre, Aldric},
    year = {2018},
    booktitle = {Formal Modeling and Analysis of Timed Systems - 16th International Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings},
    crossref = {DBLP:conf/formats/2018},
    pages = {199--214},
    team = {TEMPO},
    timestamp = {Mon, 27 Aug 2018 11:28:04 +0200}, biburl = {https://dblp.org/rec/bib/conf/formats/AsarinBD18}, bibsource = {dblp computer science bibliography, https://dblp.org},
}

URL

Publication Sections


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

info visites 1096435