conf.researchr.org / Arnd Hartmanns
Registered user since Thu 31 Jan 2019
Name: Arnd Hartmanns
Country: Netherlands
Affiliation: University of Twente
Personal website: http://arnd.hartmanns.name/
Contributions
| SPIN 2021 | University of Twente in Programming Committee within the SPIN-track |
| TACAS 2019 | Author of The Quantitative Verification Benchmark Set within the TACAS 2019-track |