A Branching Time Variant of CaRet
Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Gallardo María-del-Mar, Merino Pedro
Book title: Model Checking Software - 25th International Symposium, SPIN 2018
Page range: 153-170
Publisher: Springer
Title of series: Lecture Notes in Computer Science (ISSN: 0302-9743 (print); 1611-3349 (online))
Volume of series: 10869
Status: Published
Release year: 2018
Language in which the publication is written: English
Conference: SPIN 2018, Malaga, Spain
ISBN: 978-3-319-94110-3
Authors from the University of Münster
| Gutsfeld, Jens Oliver | |
| Müller-Olm, Markus | |
| Nordhoff, Benedikt |
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 |