Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Martin Fränzle Nicolas Markey Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings FORMATS Springer 2016 Lecture Notes in Computer Science 9884 978-3-319-44877-0 https://doi.org/10.1007/978-3-319-44878-7 db/conf/formats/formats2016.html