City Research Online

Items where Author is "Lehtinen, K."

Up a level
Export as [feed] RSS 2.0 [feed] RSS
Group by: Type | No Grouping
Number of items: 1.

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 Tue Jun 28 05:00:14 2022 UTC.