Raffiner pour vérifier des systèmes paramétrés. - Françoise Bellegarde; Celina Charlet; Olga Kouchnarenko (Tech. Sci. Informatiques, 2002)

How to Compute the Refinement Relation for Parameterized Systems. - Françoise Bellegarde; Celina Charlet; Olga Kouchnarenko (MEMOCODE, 2003)