The quest for a tight translation of Büchi to co-Büchi automata
- Udi Boker*
- , Orna Kupferman
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2
Scopus
citations