Temporal Logics with Language Parameters

Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details zur Publikation

Herausgeber*innenLeporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio
BuchtitelLanguage and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings
Seitenbereich187-199
VerlagSpringer
Titel der ReiheLecture Notes in Computer Science (ISSN: 0302-9743 (print); 1611-3349 (online))
Nr. in Reihe12638
StatusVeröffentlicht
Veröffentlichungsjahr2021
Sprache, in der die Publikation verfasst istEnglisch
KonferenzLATA 2021, Milan, Italy, undefined
ISBN978-3-030-68194-4
DOI10.1007/978-3-030-68195-1\_14
Link zum Volltexthttps://doi.org/10.1007/978-3-030-68195-1\_14

Autor*innen der Universität Münster

Dielitz, Christian
Institut für Informatik
Gutsfeld, Jens Oliver
Professur für Praktische Informatik (Prof. Müller-Olm)
Müller-Olm, Markus
Professur für Praktische Informatik (Prof. Müller-Olm)