Communication Dans Un Congrès
Année : 2017
Anicet BART : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01555755
Soumis le : mardi 4 juillet 2017-13:43:36
Dernière modification le : vendredi 24 mars 2023-14:53:04
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
123
Consultations
0
Téléchargements