Niehage, Mathis; Hartmanns, Arnd; Remke, Anne
Forschungsartikel in Sammelband (Konferenz)
Buchtitel: MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021
Veröffentlichungsjahr: 2021
ISBN: 978-1-4503-9127-6
Sprache, in der die Publikation verfasst ist: Englisch
Veranstaltung: Virtual Event, China