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
Name: Richard Huybers
Contributions
| VMCAI 2019 | Author of A Parallel Relation-Based Algorithm for Symbolic Bisimulation Minimization within the VMCAI 2019-track |