Not registered as user yet
Name: Christian Müller
Country: Germany
Affiliation: Technical University of Munich
Contributions
| SAS 2020 | Author of Stratified Guarded First-order Transition Systems within the SAS-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile