bibtex

@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},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4189054