Verimag

bibtex

@phdthesis{Ngu10a,
    title = {Constructive Verification for Component-based Systems },
    author = {Nguyen, Thanh-Hung},
    month = {May},
    year = {2010},
    school = {Universite de Grenoble},
    team = {DCS},
}

Publication Sections


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

info visites 776626