Temporal Logics with Language Parameters
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio
Buchtitel: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings
Seitenbereich: 187-199
Verlag: Springer
Titel der Reihe: Lecture Notes in Computer Science (ISSN: 0302-9743 (print); 1611-3349 (online))
Nr. in Reihe: 12638
Status: Veröffentlicht
Veröffentlichungsjahr: 2021
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: LATA 2021, Milan, Italy
ISBN: 978-3-030-68194-4
Link zum Volltext: https://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) |
Projekte, aus denen die Publikation entstanden ist
Model-Checking von Navigationslogiken (MoNaLog) Laufzeit: 01.06.2020 - 31.05.2023 | 1. Förderperiode Gefördert durch: DFG - Sachbeihilfe/Einzelförderung Art des Projekts: Gefördertes Einzelprojekt |