Communication Dans Un Congrès
Année : 2002
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
Dates et versions
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⟩
134
Consultations
0
Téléchargements