Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020, Vienna, Austria, September 1û3, 2020, Proceedings
Springer
ISBN13:
9783030576271
$76.99
- | Author: Nathalie Bertrand, Nils Jansen
- | Publisher: Springer
- | Publication Date: Nov 02, 2020
- | Number of Pages: 312 pages
- | Language: English
- | Binding: Paperback
- | ISBN-10: 3030576272
- | ISBN-13: 9783030576271
- Author:
- Nathalie Bertrand, Nils Jansen
- Publisher:
- Springer
- Publication Date:
- Nov 02, 2020
- Number of pages:
- 312 pages
- Language:
- English
- Binding:
- Paperback
- ISBN-10:
- 3030576272
- ISBN-13:
- 9783030576271