conf.researchr.org / Sören van der Wall
Registered user since Tue 2 Jun 2020
Name:Sören van der Wall
Country:Germany
Affiliation:PhD Student
Personal website: https://www.tcs.cs.tu-bs.de/group/vdwall/home.html
Research interests:Infinite State Systems, Model Checking
Contributions