
Formal Modeling and Analysis of Timed Systems
- Undertittel
- 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
- Redaktør
- Sergiy Bogomolov, David Parker
- Opplag
- 1st ed. 2022
- ISBN
- 9783031158384
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 29.8.2022
- Antall sider
- 307
