B | |
---|---|
[BK18] | Marc Bagnol and Denis Kuperberg. Büchi Good-for-game Automata are Efficiently Recognizable. In FSTTCS'18, Leibniz International Proceedings in Informatics 122, pages 16:1-16:14. Leibniz-Zentrum für Informatik, December 2018. |
Search
Displayed 1 resultList of authors
- 1
- 1