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 | Fast Coalgebraic Bisimilarity Minimization | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile