Items where Author is "Lehtinen, K."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Conference or Workshop Item
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