DLS
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020

Not registered as user yet

Name: Christian Müller

Country: Germany

Affiliation: Technical University of Munich

Contributions

SAS 2020Author of Stratified Guarded First-order Transition Systems within the SAS-track
Show activities from other conferences

Using general profile