Thorsten Wissmann

Registered user since Mon 21 Nov 2022

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

Contributions

POPL 2023 Author of Fast Coalgebraic Bisimilarity Minimization within the POPL-track