Verimag

bibtex

@phdthesis{Rob95,
    title = {Sp\'ecification et V\'erification de Syst\`emes Hybrides },
    author = {Robbana, Riadh},
    month = {oct},
    year = {1995},
    school = {\UJF},
    team = {TEMPO},
}

Publication Sections


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

Logged in visitors: 18 ; visits: 461889