![Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings Cover image for Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
Title:
Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Author:
André, Étienne. editor. (orcid)0000-0001-8473-9555
ISBN:
9783030296629
Edition:
1st ed. 2019.
Physical Description:
XVI, 301 p. 237 illus., 41 illus. in color. online resource.
Series:
Theoretical Computer Science and General Issues ; 11750
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-030-29662-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 483867-1001 | ONLINE | Searching... | Searching... |