Title:
Formal Methods for Industrial Critical Systems 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Author:
Cimatti, Alessandro. editor.
ISBN:
9783031436819
Edition:
1st ed. 2023.
Physical Description:
X, 260 p. 88 illus., 67 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14290
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-031-43681-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521152-1001 | XX(521152.1) | Searching... | Searching... |