B | |
---|---|
[BL19] | Udi Boker and Karoliina Lehtinen. Good-for-game Automata: from Non-determinism to Alternation. In CONCUR'19, Leibniz International Proceedings in Informatics 140, pages 19:1-19:16. Leibniz-Zentrum für Informatik, August 2019. |
Search
Displayed 1 resultList of authors
- 1
- 1