FORMATS Online & Bertrand, N. (2020). Formal modeling and analysis of timed systems: 18th international conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : proceedings. Springer.
Chicago Style (17th ed.) CitationFORMATS Online and Nathalie Bertrand. Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : Proceedings. Cham: Springer, 2020.
MLA (9th ed.) CitationFORMATS Online and Nathalie Bertrand. Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020 : Proceedings. Springer, 2020.
Warning: These citations may not always be 100% accurate.