![]() | Up a level |
Daviaud, L. ORCID: 0000-0002-9220-7118, JurdziĆski, M. & Lehtinen, K. (2019).
Alternating Weak Automata from Universal Trees.
Paper presented at the 30th International Conference on Concurrency Theory, 26-31 Aug 2019, Amsterdam, the Netherlands.
doi: 10.4230/LIPIcs.CONCUR.2019.14