Low Problem in Sequential Equivalence Checking

Type de document :
Communication dans un congrès
SAME'02: Sophia-Antipolis Forum on MicroElectronics, Sophia-Antipolis (France), France. pp. 52-57, 2002
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269332
Contributeur : Christine Carvalho de Matos <>
Soumis le : mercredi 2 avril 2008 - 16:46:02
Dernière modification le : mardi 26 juin 2018 - 01:18:35

Identifiants

  • HAL Id : lirmm-00269332, version 1

Collections

Citation

Solaiman Rahim, Jerome Rampon, Bruno Rouzeyre, Lionel Torres. Low Problem in Sequential Equivalence Checking. SAME'02: Sophia-Antipolis Forum on MicroElectronics, Sophia-Antipolis (France), France. pp. 52-57, 2002. 〈lirmm-00269332〉

Partager

Métriques

Consultations de la notice

84