1. Formal modeling and analysis of timed systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings /: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016. Proceedings. (2016) Editors: Fränzle, Martin; Markey, Nicolas, 1976- Other Names: FORMATS (Conference), 14th Record Type: Book Extent: 1 online resource (xii, 245 pages), illustrations (chiefly color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Formal modeling and analysis of timed systems : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings /: 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings. (2018) Editors: Jansen, David N; Prabhakar, Pavithra Other Names: FORMATS (Conference), 16th Record Type: Book Extent: 1 online resource (x, 289 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal modeling and analysis of timed systems : 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings /: 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27-29, 2019 : proceedings. ([2019]) Editors: André, Etienne; Stoelinga, Mariëlle Other Names: FORMATS (Conference), 17th Record Type: Book Extent: 1 online resource, illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. 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) ↗