Verimag

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

Publication Sections


Contact | Site Map | Site created with SPIP 2.1.26 + AHUNTSIC [CC License]

Logged in visitors: 31 ; visits: 422553