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

Personal website: https://www.pst.ifi.lmu.de/Personen/team/hennicker

Contributions

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

ETAPS 2019-profile
View general profile