1. Formal modeling and analysis of timed systems : 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings /: 18th International Conference, FORMATS 2020 Vienna, Austria, September 1-3, 2020 Proceedings. (2020) Other Names: (Researcher), Bertrand, Nathalie; Jansen, Nils; FORMATS (Conference), 18th Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗