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