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... |