Low Problem in Sequential Equivalence Checking - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2002

Low Problem in Sequential Equivalence Checking

Christine Carvalho De Matos  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269332

Soumis le : mercredi 2 avril 2008-16:46:02

Dernière modification le : vendredi 24 mars 2023-14:52:50

Fichier non déposé

Dates et versions

lirmm-00269332 , version 1 (02-04-2008)

Identifiants

  • HAL Id : lirmm-00269332 , version 1

Citer

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. ⟨lirmm-00269332⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS SYSMIC LIRMM LIRMM_MIC MIC MIPS UNIV-MONTPELLIER
134 Consultations
0 Téléchargements

Partager

More