conf.researchr.org / Thorsten Wissmann
Registered user since Mon 21 Nov 2022
Name:Thorsten Wissmann
Country:Netherlands
Affiliation:Radboud University Nijmegen
Personal website:https://thorsten-wissmann.de
Contributions
| POPL 2023 | Author of Fast Coalgebraic Bisimilarity Minimization within the POPL-track |