Logo des Repositoriums
 
Konferenzbeitrag

GR(1) synthesis for LTL specification patterns

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2016

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Maoz, Shahar; Ringert, Jan Oliver (2016): GR(1) synthesis for LTL specification patterns. Software Engineering 2016. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-646-6. pp. 103-104. Wien. 23.-26. Februar 2016

Schlagwörter

Zitierform

DOI

Tags