• Sign in
  • Sign up
conf.researchr.org / Daniel Stan
  • POPL 2019 profile

Not registered as user yet

Name:Daniel Stan

Contributions

VMCAI 2019 Author of Syntactic Partial Order Compression for Probabilistic Reachability within the VMCAI 2019-track

Share
xSat 21 May 05:50
using conf.researchr.org (v1.55.6)
Support page
Sign Up