bibtex

@phdthesis{Ann01,
    title = {V\'erification d'automates \'etendus : algorithmes d'analyse symbolique et mise en \oe uvre },
    author = {Annichini-Collomb, Aurore},
    month = {12},
    year = {2001},
    school = {Universit\'e Joseph Fourier, Grenoble},
    team = {DCS},
}


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

info visites 4159451