The following pages link to Didier Lime (Q378903):
Displayed 10 items.
- Blending Timed Formal Models with Clock Transition Systems (Q5411674) (← links)
- Automated Technology for Verification and Analysis (Q5491871) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712345) (← links)
- Computer Aided Verification (Q5716584) (← links)
- (Q5740413) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897475) (← links)
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science (Q5897776) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)
- Parameter Synthesis for Bounded Cost Reachability in Time Petri Nets (Q6144225) (← links)
- Parametric updates in parametric timed automata (Q6149675) (← links)