B | |
---|---|
[BK18] | Marc Bagnol et 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, décembre 2018. |
Sélectionner
1 correspondance trouvéeListe des auteurs
- 1
- 1