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 |