Article Dans Une Revue
International Journal on Software Tools for Technology Transfer
Année : 2012
Antoine Rollet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00874059
Soumis le : jeudi 17 octobre 2013-10:24:42
Dernière modification le : lundi 26 février 2024-11:22:07
Citer
Hélène Collavizza, Nguyen Le Vinh, Olivier Ponsini, Michel Rueher, Antoine Rollet. Constraint-Based BMC: A Backjumping Strategy. International Journal on Software Tools for Technology Transfer, 2012, pp.1-19. ⟨10.1007/s10009-012-0258-6⟩. ⟨hal-00874059⟩
Collections
91
Consultations
0
Téléchargements