Login / Signup
Didier Lime
ORCID
Publication Activity (10 Years)
Years Active: 2003-2023
Publications (10 Years): 54
Top Topics
Markov Chain
Reachability Analysis
Model Checking
Petri Net
Top Venues
CoRR
Petri Nets
FORMATS
ACSD
</>
Publications
</>