conf.researchr.org / Didier Lime
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 |