ISBN 9783031426254 books & textbook
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science)
Petrucci, Laure Sproston, Jeremy
Springer /2023-08-29 Paperback / 196 Pages
isbn-10: 3031426258 / isbn-13: 9783031426254
