Bounded Synthesis for Streett, Rabin, and CTL*

Ayrat Khalimov, Roderick Bloem

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

Originalspracheenglisch
TitelCAV
PublikationsstatusVeröffentlicht - 2017

Dieses zitieren