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

Not registered as user

Name:Didier Lime

Contributions

2019

VMCAI

  • Author of Parametric Timed Broadcast Protocols within the VMCAI 2019-track

2016

VMCAI

  • Author of Parameter Synthesis for Parametric Interval Markov Chains within the VMCAI-track
Share
xWed 16 Jul 10:58
using conf.researchr.org (v1.69.1)
Support page
Sign Up