Originalsprache | englisch |
---|---|
Titel | CAV |
Publikationsstatus | Veröffentlicht - 2017 |
Bounded Synthesis for Streett, Rabin, and CTL*
Ayrat Khalimov, Roderick Bloem
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung