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

Author/Creator FORMATS (Conference), 16th

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