- Titre
- Low Problem in Sequential Equivalence Checking
- Créateurs - sans rôle
- Solaiman Rahim - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMMJerome Rampon - Université de Montpellier, Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMMBruno Rouzeyre - Conception et Test de Systèmes MICroélectroniquesLionel Torres - Conception et Test de Systèmes MICroélectroniques
- Détails de publication
- SAME'02: Sophia-Antipolis Forum on MicroElectronics, pp.pp. 52-57
- Colloque
- SAME'02: Sophia-Antipolis Forum on MicroElectronics (Sophia-Antipolis (France), France)
- Identifiants
- 9942305609311
- Unité académique
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier - LIRMM
- Langue
- English
- Type de ressource
- Conference proceeding
- Champs locaux
- lirmm-00269332
Acte de colloque
Low Problem in Sequential Equivalence Checking
SAME'02: Sophia-Antipolis Forum on MicroElectronics, pp.pp. 52-57
SAME'02: Sophia-Antipolis Forum on MicroElectronics (Sophia-Antipolis (France), France)
2002
Indicateurs
1 Consultations de la notice