L | |
---|---|
[LZ20] | Karoliina Lehtinen and Martin Zimmermann. Good-for-games ω-pushdown automata. In LICS'20, pages 689-702. IEEE Comp. Soc. Press, July 2020. |
Search
Displayed 1 resultList of authors
- 1
- 1
L | |
---|---|
[LZ20] | Karoliina Lehtinen and Martin Zimmermann. Good-for-games ω-pushdown automata. In LICS'20, pages 689-702. IEEE Comp. Soc. Press, July 2020. |