Communication Dans Un Congrès
Année : 2017
Connectez-vous pour contacter le contributeur
https://hal.science/hal-01555755
Soumis le : mardi 4 juillet 2017-13:43:36
Dernière modification le : lundi 19 janvier 2026-16:46:18
Dates et versions
Identifiants
- HAL Id : hal-01555755 , version 1
Citer
Anicet Bart, Benoit Delahaye, Eric Monfroy, Charlotte Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. ⟨hal-01555755⟩
Collections
191
Consultations
0
Téléchargements