Author/Creator: FORMATS (Conference), 18th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator FORMATS (Conference), 18th

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) ↗