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


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

info visites 4191116