City Research Online

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

This list was generated on Sat Dec 7 04:00:17 2024 UTC.