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

Registered user since Wed 30 Jan 2019

Name: Sebastian Junges

Affiliation: RWTH Aachen University, Germany

Personal website: https://moves.rwth-aachen.de/people/sebastian-junges/

Contributions

TACAS 2019 Shepherding Hordes of Markov Chains
Show activities from other conferences

ETAPS 2019-profile
View general profile