Jacobs, Jules
- Fast Coalgebraic Bisimilarity Minimization
2022/04/26 by Jules Jacobs, Thorsten Wißmann, Jacobs, Jules +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #semigroups and automata theory