conf.researchr.org / Richard Huybers
Not registered as user yet
Name:Richard Huybers
Contributions
VMCAI 2019 | Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track |
Not registered as user yet
Contributions
VMCAI 2019 | Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track |