Specification Format for Reactive Synthesis Problems

Ayrat Khalimov

Publikation: Konferenzbeitrag(Altdaten) Vortrag oder Präsentation

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

Dieses zitieren