Reachability in parametric Interval Markov Chains using constraints

Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2018, 747, pp.48 - 74. 〈10.1016/j.tcs.2018.06.016〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01917092
Contributeur : Benoît Delahaye <>
Soumis le : vendredi 9 novembre 2018 - 10:06:18
Dernière modification le : mercredi 12 décembre 2018 - 11:02:39

Identifiants

Citation

Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, et al.. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, Elsevier, 2018, 747, pp.48 - 74. 〈10.1016/j.tcs.2018.06.016〉. 〈hal-01917092〉

Partager

Métriques

Consultations de la notice

45