LESTER Anthony
Relatore : Pirouz BAZARGAN SABET
Abstraction Fonctionnelle des Circuits Numériques VLSI avec une méthode formelle basée sur une extraction de réseau de portes
Difesa : 12/21/1999
Membri della commissione :
Alain Guyot - rapporteur
Christian Piguet - rapporteur
Alain Greiner
Michel Minoux
Pirouz Bazargan-Sabet
Sanjay Rajopadhye