Niehage, Mathis; Remke, Anne
Research article in edited proceedings (conference)
Book title: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Release year: 2022
ISBN: 978-3-031-15838-4
Language in which the publication is written: English
Event: Warsaw, Poland