| |
| 2003 | ||
|---|---|---|
| 2 | EE | Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko: How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE 2003: 103-112 |
| 2002 | ||
| 1 | EE | Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko: Raffiner pour vérifier des systèmes paramétrés. Technique et Science Informatiques 21(8): 1121-1149 (2002) |
| 1 | Françoise Bellegarde (Françoise Bellegarde-Webb) | [1] [2] |
| 2 | Olga Kouchnarenko | [1] [2] |