An edition of Formal Modeling and Analysis of Timed Systems
(2022)
Formal Modeling and Analysis of Timed Systems
20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
by Sergiy Bogomolov and David Parker
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Modeling and Analysis of Timed Systems: 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
2022, Springer International Publishing AG
in English
3031158385 9783031158384
|
aaaa
|
Book Details
Classifications
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| August 17, 2022 | Created by ImportBot | import new book |