Article Dans Une Revue
Theoretical Computer Science
Année : 2018
Benoît Delahaye : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01917092
Soumis le : vendredi 9 novembre 2018-10:06:18
Dernière modification le : jeudi 15 février 2024-03:31:22
Dates et versions
Identifiants
- HAL Id : hal-01917092 , version 1
- ARXIV : 1706.00270
- DOI : 10.1016/j.tcs.2018.06.016
Citer
Anicet Bart, Benoît Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, et al.. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, 2018, 747, pp.48 - 74. ⟨10.1016/j.tcs.2018.06.016⟩. ⟨hal-01917092⟩
Collections
78
Consultations
0
Téléchargements