placeholder image

Lime, Didier

Person

Positions

, École Centrale de Nantes

selected publications

blog posting
- Reachability in Parametric Interval Markov Chains using Constraints. arXiv (Cornell University). 2017

full name

Didier Lime

Publications in VIVO

Co-author Network