| |
| 2001 | ||
|---|---|---|
| 2 | EE | Fabrice Derepas, Paul Gastin, David Plainfossé: Avoiding State Explosion for Distributed Systems with Timestamps. FME 2001: 119-134 |
| 1 | EE | Fabrice Derepas, Paul Gastin: Model Checking Systems of Replicated Processes with Spin. SPIN 2001: 235-251 |
| 1 | Paul Gastin | [1] [2] |
| 2 | David Plainfossé | [2] |