| |
| 2009 | ||
|---|---|---|
| 2 | EE | Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57 |
| 2008 | ||
| 1 | EE | Louis-Marie Traonouez, Didier Lime, Olivier H. Roux: Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS 2008: 280-294 |
| 1 | Didier Lime | [1] [2] |
| 2 | Olivier H. Roux (Olivier Roux) | [1] [2] |
| 3 | Charlotte Seidner | [2] |