@phdthesis{Mar97,
title = { HDR - Mod\'elisation et validation des syst\`emes r\'eactifs : un langage synchrone \`a base d'automates },
author = {Maraninchi, Florence},
month = {may},
year = {1997},
address = {Grenoble},
institution = {Universit\'e Joseph Fourier, Grenoble},
type = {Document d’Habilitation \`a Diriger des Recherches},
publisher = {{\tt www-verimag.imag.fr/\~{~}maraninx/Habilitation.html}},
school = {Universit\'e Joseph Fourier, Grenoble},
team = {SYNC},
}