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

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
xTue 20 May 05:21
using conf.researchr.org (v1.69.0)
Support page
Sign Up