Formal Modeling and Analysis of Timed Systems: 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27-29, 2019, Proceedings (Lecture Notes in Computer Science, Band 11750)
Taschenbuch
Details (Deutschland)
ISBN-13: 978-3-030-29661-2
ISBN-10: 3-030-29661-X
Springer · 15. Oktober 2019