 | 2005 |
|---|
| 4 |       | Christophe Darlot,
Alain Finkel,
Laurent Van Begin:
About Fast and TReX Accelerations.
Electr. Notes Theor. Comput. Sci. 128(6): 87-103 (2005) |
| 2003 |
|---|
| 3 | | Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Refinement Preserves PLTL Properties.
ZB 2003: 408-420 |
| 2001 |
|---|
| 2 | | Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Reformulation: A Way to Combine Dynamic Properties and B Refinement.
FME 2001: 2-19 |
| 2000 |
|---|
| 1 | | Françoise Bellegarde,
Christophe Darlot,
Jacques Julliand,
Olga Kouchnarenko:
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.
ZB 2000: 230-249 |
