@PHDTHESIS{Rémy1997,
url = "
		http://www.theses.fr/1997PA066527",
title = "Outils de verification pour circuits vlsi asga mesfet par des methodes d'abstraction fonctionnelle",
author = "Rémy, Pascal",
year = "1997",
pages = "120 P.",
note = "Thèse de doctorat dirigée par Greiner, Alain Sciences appliquées Paris 6 1997",
note = "1997PA066527",
}