bibtex

@proceedings{BLP8a,
    title = { Formal Modeling and Analysis of Timed Systems - 16th International Conference, {FORMATS} 2018, Beijing, China, September 4-6, 2018, Proceedings },
    year = {2018},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    volume = {11022},
    team = {TEMPO},
    timestamp = {Mon, 27 Aug 2018 11:26:51 +0200}, biburl = {https://dblp.org/rec/bib/conf/formats/2018}, 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 1128423