CITATION STYLE
B, A. A., & Dang, T. (2017). Formal Modeling and Analysis of Timed Systems - 15th International Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017, Proceedings, 10419, 97–115. Retrieved from https://doi.org/10.1007/978-3-319-65765-3
Mendeley helps you to discover research relevant for your work.