Article Dans Une Revue
Constraints
Année : 2014
Charlotte Truchet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01147912
Soumis le : dimanche 3 mai 2015-12:51:35
Dernière modification le : vendredi 5 janvier 2024-03:24:31
Citer
Marie Pelleau, Charlotte Truchet, Frédéric Benhamou. The octagon abstract domain for continuous constraints. Constraints, 2014, 19 (3), pp.309--337. ⟨10.1007/s10601-014-9162-x⟩. ⟨hal-01147912⟩
Collections
80
Consultations
0
Téléchargements