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


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

info visites 4125610