Thorsten Wissmann

Registered user since Mon 21 Nov 2022

Name:Thorsten Wissmann
Affiliation:Radboud University

Contributions

POPL 2023 Fast Coalgebraic Bisimilarity Minimization
Show activities from other conferences

Using general profile