Specification Format for Reactive Synthesis Problems

Ayrat Khalimov

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 2015
VeranstaltungSYNT Workshop -
Dauer: 1 Jan 20151 Jan 2015

Konferenz

KonferenzSYNT Workshop
Zeitraum1/01/151/01/15

Fields of Expertise

  • Information, Communication & Computing

Dies zitieren

Khalimov, A. (2015). Specification Format for Reactive Synthesis Problems. SYNT Workshop, .

Specification Format for Reactive Synthesis Problems. / Khalimov, Ayrat.

2015. SYNT Workshop, .

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder PräsentationForschung

Khalimov, A 2015, 'Specification Format for Reactive Synthesis Problems', 1/01/15 - 1/01/15, .
Khalimov A. Specification Format for Reactive Synthesis Problems. 2015. SYNT Workshop, .
Khalimov, Ayrat. / Specification Format for Reactive Synthesis Problems. SYNT Workshop, .
@conference{7b0a4de43fe841e8bf394a22fb2ead8c,
title = "Specification Format for Reactive Synthesis Problems",
author = "Ayrat Khalimov",
year = "2015",
language = "English",
note = "SYNT Workshop ; Conference date: 01-01-2015 Through 01-01-2015",

}

TY - CONF

T1 - Specification Format for Reactive Synthesis Problems

AU - Khalimov, Ayrat

PY - 2015

Y1 - 2015

M3 - (Old data) Lecture or Presentation

ER -