Bounded Synthesis for Streett, Rabin, and CTL*

Ayrat Khalimov, Roderick Bloem

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelCAV
PublikationsstatusVeröffentlicht - 2017

Dies zitieren

Bounded Synthesis for Streett, Rabin, and CTL*. / Khalimov, Ayrat; Bloem, Roderick.

CAV. 2017.

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

@inproceedings{206f1220eb6041e99695d0e4ca3cfe01,
title = "Bounded Synthesis for Streett, Rabin, and CTL*",
author = "Ayrat Khalimov and Roderick Bloem",
year = "2017",
language = "English",
booktitle = "CAV",

}

TY - GEN

T1 - Bounded Synthesis for Streett, Rabin, and CTL*

AU - Khalimov, Ayrat

AU - Bloem, Roderick

PY - 2017

Y1 - 2017

M3 - Conference contribution

BT - CAV

ER -