Logic synthesis and verification algorithms (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Logic synthesis and verification algorithmshttps://catalogue-scientifique.canada.ca/record=1633879~S6*frcRechercher Hachtel, Gary D; Rechercher Somenzi, FabioKluwer Academic Publishers, 1996, ISBN : 9780792397465Livre Libre accès
Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedingshttps://catalogue-scientifique.canada.ca/record=2008533~S6*frcRechercher Hunt, Warren A; Rechercher Somenzi, FabioSpringer, 2003Actes de conférence