Verimag

bibtex

@phdthesis{Dan00,
    title = {V'erification et synth`ese des syst`emes hybrides },
    author = {Dang, Thao},
    month = {oct},
    year = {2000},
    school = {INPG},
    team = {TEMPO},
    date = {octobre, 10, 2000},
}

Publication Sections


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

Logged in visitors: 7 ; visits: 391578