| 2003 | ||
|---|---|---|
| 2 | Matthias Colin, Xavier Thirioux, Marc Pantel: Temporal Logic Based Static Analysis for Non-uniform Behaviours. FMOODS 2003: 94-108 | |
| 2000 | ||
| 1 | Fabien Dagnat, Marc Pantel, Matthias Colin, Patrick Sallé: Typing Concurrent Objects and Actors. L'OBJET 6(1): (2000) | |
| 1 | Fabien Dagnat | [1] |
| 2 | Marc Pantel | [1] [2] |
| 3 | Patrick Sallé | [1] |
| 4 | Xavier Thirioux | [2] |