• Sign in
  • Sign up
conf.researchr.org / Didier Lime
  • POPL 2016 profile
  • POPL 2019 profile

Not registered as user yet

Name:Didier Lime

Contributions

VMCAI 2019 Author of Parametric Timed Broadcast Protocols within the VMCAI 2019-track
VMCAI Author of Parameter Synthesis for Parametric Interval Markov Chains within the VMCAI-track

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