Facial reconstruction

Search LJMU Research Online

Browse Repository | Browse E-Theses

Items where Author is "Widdershoven, C"

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

Conference or Workshop Item

Semukhin, P, Kiefer, S and Widdershoven, C (2021) Linear-Time Model Checking Branching Processes. In: LIPIcs : Leibniz International Proceedings in Informatics , 203 (6). 6:1-6:16. (32nd International Conference on Concurrency Theory (CONCUR 2021), 24 August 2021 - 27 August 2021, Virtual Event).

This list was generated on Fri Aug 19 20:16:10 2022 UTC.