![Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings Cover image for Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings
Author:
Jansen, David N. editor. (orcid)0000-0002-6636-3301
ISBN:
9783030001513
Edition:
1st ed. 2018.
Physical Description:
X, 289 p. 59 illus. online resource.
Series:
Theoretical Computer Science and General Issues ; 11022
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-00151-3Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 399515-1001 | ONLINE | Searching... | Searching... |