• Sign in
  • Sign up
conf.researchr.org / Richard Huybers
  • POPL 2019 profile
  • ‹Programming› 2020 profile

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

Share
xMon 23 May 05:17
using conf.researchr.org (v1.55.6)
Support page
Sign Up