Tim Quatmann - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Thu 28 Mar 2019

Name:Tim Quatmann

Country:Germany

Affiliation:RWTH Aachen University

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

Research interests:Model Checking

Contributions

2019

TACAS

The Quantitative Verification Benchmark Set

Show activities from other conferences

ETAPS 2019-profile
View general profile