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 : jeudi 11 janvier 2018 - 06:27:19

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

28