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
Publisher: 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
Publishing company: 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, undefined
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) |