Constraint-Based BMC: A Backjumping Strategy

Type de document :
Article dans une revue
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, pp.1-19. <10.1007/s10009-012-0258-6>
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00874059
Contributeur : Antoine Rollet <>
Soumis le : jeudi 17 octobre 2013 - 10:24:42
Dernière modification le : jeudi 17 octobre 2013 - 10:24:42

Identifiants

Collections

Citation

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, Springer Verlag, 2012, pp.1-19. <10.1007/s10009-012-0258-6>. <hal-00874059>

Partager

Métriques

Consultations de la notice

89