Skip to Main content Skip to Navigation
Conference papers

Low Problem in Sequential Equivalence Checking

Document type :
Conference papers
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269332
Contributor : Christine Carvalho de Matos <>
Submitted on : Wednesday, April 2, 2008 - 4:46:02 PM
Last modification on : Tuesday, October 23, 2018 - 10:46:02 AM

Identifiers

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

Share

Metrics

Record views

140