ISBN 3030576272 books & textbook
Formal Modeling and Analysis of Timed Systems: 18th International Conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020, Proceedings (Theoretical Computer Science and General Issues)
Bertrand, Nathalie Jansen, Nils
Springer /2020-08-17 Paperback / 312 Pages
isbn-10: 3030576272 / isbn-13: 9783030576271
