Huy Nam Nguyen, L. Ducousso. Utilisation de CHIP pour la synthèse et vérification des circuits CMOS. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 88, 7:::ème::: Séminaire Programmation en Logique, 25-27 mai 1988, Trégastel, France. pages 267-278, 1988.
Abstract is missing.