conf.researchr.org / Markus Müller-Olm

Not registered as user yet
Name: Markus Müller-Olm
Country: Germany
Affiliation: University of Münster
Personal website: https://www.uni-muenster.de/AlleInformatiken/professoren/mueller-olm.shtml
Contributions
POPL 2021 | Author of Automata and Fixpoints for Asynchronous Hyperproperties within the POPL-track |
ESOP 2019 | Committee Member in Program Committee within the ESOP 2019-track |