Communication Dans Un Congrès
Année : 2007
Yannick Parmentier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00466755
Soumis le : mercredi 24 mars 2010-16:55:18
Dernière modification le : samedi 25 juin 2022-10:11:19
Dates et versions
Identifiants
- HAL Id : hal-00466755 , version 1
Citer
Hratch Mangassarian, Andreas Veneris, Marco Benedetti. Fault Diagnosis using Quantified Boolean Formulas. Proc. of the 4th IEEE International Workshop on Silicon Debug and Diagnosis - SDD07, 2007, Freiburg, Germany. pp._. ⟨hal-00466755⟩
Collections
34
Consultations
0
Téléchargements