Verimag

bibtex

@phdthesis{Gra08a,
    title = {Models and Methods for the Construction and Verification of Complex Reactive Systems },
    author = {Graf, Susanne},
    month = {apr},
    year = {2008},
    type = {Habilitation \`a diriger des recherches},
    school = {Universit\'e Joseph Fourier, Grenoble},
    team = {DCS},
}

Sections de Publications


Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874399