Low Problem in Sequential Equivalence Checking - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Conference Papers Year : 2002
No file

Dates and versions

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

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⟩
134 View
0 Download

Share

More