| |
| 2006 | ||
|---|---|---|
| 2 | EE | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: Timed Temporal Logics for Abstracting Transient States. ATVA 2006: 337-351 |
| 2005 | ||
| 1 | EE | Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie: A New Modality for Almost Everywhere Properties in Timed Automata. CONCUR 2005: 110-124 |
| 1 | Béatrice Bérard | [1] [2] |
| 2 | Patricia Bouyer | [1] [2] |
| 3 | François Laroussinie | [1] [2] |