Celina Charlet

Publication Activity (10 Years)

Years Active: 2002-2003
Publications (10 Years): 0

Publications

Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE (2003)
Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
Raffiner pour vérifier des systèmes paramétrés. Tech. Sci. Informatiques 21 (8) (2002)