ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Leander Tentrup
Leander Tentrup

Registered user since Thu 15 Nov 2018

Name: Leander Tentrup

Affiliation: Saarland University

Personal website: https://www.react.uni-saarland.de/people/tentrup.html

Contributions

SYNT Camp 2019Committee Member in Organizing Committee within the SYNT Camp-track
Author of Hand-on Synthesis Experience with BoSy within the SYNT Camp-track
TACAS 2019Author of Constraint-based Monitoring of Hyperproperties within the TACAS 2019-track
Show activities from other conferences

Using general profile