University of Münster
CRIS@UM
DE | EN

A Branching Time Variant of CaRet

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

Research article in edited proceedings (conference) | Peer reviewed

Details about the publication

Publisher: Gallardo María-del-Mar, Merino Pedro
Book title: Model Checking Software - 25th International Symposium, SPIN 2018
Page range: 153-170
Publishing company: 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, undefined
ISBN: 978-3-319-94110-3
DOI: 10.1007/978-3-319-94111-0\_9

Authors from the University of Münster

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)
Nordhoff, Benedikt
Professorship for practical computer science (Prof. Müller-Olm)