Niehage, Mathis; Remke, Anne
Forschungsartikel in Sammelband (Konferenz)
Buchtitel: Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings
Veröffentlichungsjahr: 2022
ISBN: 978-3-031-15838-4
Sprache, in der die Publikation verfasst ist: Englisch
Veranstaltung: Warsaw, Poland