Scholar
Didier Lime
Google Scholar ID: -RAajCgAAAAJ
École Centrale de Nantes
Computer Science
Formal Methods
Real-time Systems
Petri Nets
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,062
H-index
17
i10-index
30
Publications
20
Co-authors
26
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
26 total
Co-author 1
Étienne André
Université Paris 13, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France
Co-author 3
Kim G. Larsen
Director, Professor Aalborg University
Béatrice Bérard
professeur émérite d'informatique, Sorbonne Université
Co-author 6
Co-author 7
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up