Thorsten Wissmann

Registered user since Mon 21 Nov 2022

Name:Thorsten Wissmann
Country:Netherlands
Affiliation:Radboud University Nijmegen

Contributions

POPL 2023 Fast Coalgebraic Bisimilarity Minimization
Show activities from other conferences

POPL 2023-profile
View general profile