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.

Conference or Workshop Item

Daviaud, L. ORCID: 0000-0002-9220-7118, JurdziƄski, M. and 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.

This list was generated on Sat Dec 5 04:47:01 2020 UTC.