conf.researchr.org / Marvin Stenger
Not registered as user yet
Name:Marvin Stenger
Contributions
ETAPS 2019 | Author of Constraint-based Monitoring of Hyperproperties within the Posters-track |
TACAS 2019 | Author of Constraint-based Monitoring of Hyperproperties within the TACAS 2019-track |