Not registered as user yet

Name: Karoliina Lehtinen

Affiliation: University of Kiel and University of Liverpool

Contributions

POPL 2019Author of Adventures in Monitorability: From Branching to Linear Time and Back Again within the Research Papers-track