Conference Papers
Year : 2002
Christine Carvalho De Matos : Connect in order to contact the contributor
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269332
Submitted on : Wednesday, April 2, 2008-4:46:02 PM
Last modification on : Friday, March 24, 2023-2:52:50 PM
Dates and versions
Identifiers
- HAL Id : lirmm-00269332 , version 1
Cite
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⟩
132
View
0
Download