LESTER Anthony
Forschungsleitung (Direction de recherche) : 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
Verteidigung einer Doktorarbeit : 21.12.1999
Mitglieder der Prüfungskommission :
Alain Guyot - rapporteur
Christian Piguet - rapporteur
Alain Greiner
Michel Minoux
Pirouz Bazargan-Sabet
Sanjay Rajopadhye