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},
    pages = {199--214},
    publisher = {Springer},
    volume = {11022},
    team = {axe_Mohytos, 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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4155767