LESTER Anthony
Direção de pesquisa : 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
Defesas : 21/12/1999
Membros da banca :
Alain Guyot - rapporteur
Christian Piguet - rapporteur
Alain Greiner
Michel Minoux
Pirouz Bazargan-Sabet
Sanjay Rajopadhye