@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},
}