conf.researchr.org / Christian Müller
Registered user since Tue 17 Nov 2020
Name:Christian Müller
Country:Germany
Affiliation:Technische Universität München, Saarland University
Contributions
| SAS 2020 | Author of Stratified Guarded First-order Transition Systems within the SAS-track |
| VMCAI 2020 | Author of How to Win First-Order Safety Games within the VMCAI 2020-track |