Original language | English |
---|---|
Title of host publication | CAV |
Publication status | Published - 2017 |
Bounded Synthesis for Streett, Rabin, and CTL*
Ayrat Khalimov, Roderick Bloem
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review