Universität Münster
CRIS@UM
DE | EN

A Branching Time Variant of CaRet

Gutsfeld Jens, Müller-Olm Markus, Nordhoff Benedikt

Forschungsartikel in Sammelband (Konferenz) | Peer reviewed

Details 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, undefined
ISBN: 978-3-319-94110-3
DOI: 10.1007/978-3-319-94111-0\_9

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)