Registered user since Thu 28 Mar 2019

Name:Tim Quatmann
Country:Germany
Affiliation:RWTH Aachen University
Research interests:Model Checking

Contributions

TACAS 2019 Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track