A Branching Time Variant of CaRet
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Gallardo María-del-Mar, Merino Pedro
Buchtitel: Model Checking Software - 25th International Symposium, SPIN 2018
Seitenbereich: 153-170
Verlag: Springer
Titel der Reihe: Lecture Notes in Computer Science (ISSN: 0302-9743 (print); 1611-3349 (online))
Nr. in Reihe: 10869
Status: Veröffentlicht
Veröffentlichungsjahr: 2018
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: SPIN 2018, Malaga, Spain
ISBN: 978-3-319-94110-3
Autor*innen der Universität Münster
| 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) |
| Nordhoff, Benedikt | 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 |