Specification Format for Reactive Synthesis Problems

Ayrat Khalimov

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Original languageEnglish
Publication statusPublished - 2015
EventSYNT Workshop -
Duration: 1 Jan 20151 Jan 2015

Conference

ConferenceSYNT Workshop
Period1/01/151/01/15

Fields of Expertise

  • Information, Communication & Computing

Cite this

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

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

2015. SYNT Workshop, .

Research output: Contribution to conference(Old data) Lecture or PresentationResearch

Khalimov, A 2015, 'Specification Format for Reactive Synthesis Problems' SYNT Workshop, 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 -