• Sign in
  • Sign up
conf.researchr.org / Markus Müller-Olm
  • ETAPS 2019 profile
  • POPL 2021 profile
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

Share
xThu 15 Apr 16:09
using conf.researchr.org (v1.44.3)
Support page
Sign Up