ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Mon 19 Dec 2016

Name:Rolf Hennicker
Affiliation:Ludwig Maximilians University Munich, Germany

Contributions

FASE 2019 A Hybrid Dynamic Logic for Event/Data-based Systems
Show activities from other conferences

ETAPS 2019-profile
View general profile