Temporal Logics with Language Parameters
Gutsfeld Jens Oliver, Müller-Olm Markus, Dielitz Christian
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Leporati Alberto, Martı́n-Vide Carlos, Shapira Dana Zandron Claudio
Book title: Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings
Page range: 187-199
Publisher: Springer
Title of series: Lecture Notes in Computer Science (ISSN: 0302-9743 (print); 1611-3349 (online))
Volume of series: 12638
Status: Published
Release year: 2021
Language in which the publication is written: English
Conference: LATA 2021, Milan, Italy
ISBN: 978-3-030-68194-4
Link to the full text: https://doi.org/10.1007/978-3-030-68195-1\_14
Authors from the University of Münster
| Dielitz, Christian | Institute of Computer Science |
| Gutsfeld, Jens Oliver | Professorship for practical computer science (Prof. Müller-Olm) |
| Müller-Olm, Markus | Professorship for practical computer science (Prof. Müller-Olm) |
Projects the publication originates from
Model Checking of Navigation Logics (MoNaLog) Duration: 01/06/2020 - 31/05/2023 | 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project |