Not registered as user yet

Name:Christoph Ohrem
Affiliation:Westfälische Wilhelms-Universität Münster (WWU), Germany

Contributions

POPL 2021 Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track