SPLASH 2022 (series) / 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
SPLASH 2022-profile
View general profile
View general profile