TY  - THES
DP  - http://www.theses.fr/2007PA066577
TI  - Conception incrémentale, vérification de composants matériels et méthode d'abstraction pour la vérification de systèmes intégrés sur puce
AU  - Braunstein, Cécile
A3  - Munier-Kordon, Alix
PY  - 2007
SP  - 1 vol. (XII-129 p.)
N1  - Thèse de doctorat Informatique Paris 6 2007
N1  - 2007PA066577
ER  -