Verimag
Home > Dissemination > Publications

bibtex

@phdthesis{Yov93,
    title = {M\'ethodes et outils pour la v\'erification symbolique de syst\`emes temporis\'es },
    author = {Yovine, Sergio},
    month = {may},
    year = {1993},
    school = {\INPG},
    team = {TEMPO},
}

Publication Sections


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

info visites 817932