Logo des Repositoriums
 
Konferenzbeitrag

Building A state-of-the-art model checker

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2015

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Wolff, Sebastian (2015): Building A state-of-the-art model checker. INFORMATIK 2015. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-640-4. pp. 1817-1828. Cottbus. 28. September - 2. Oktober 2015

Schlagwörter

Zitierform

DOI

Tags