Skip to Main content Skip to Navigation
Journal articles

Reachability in parametric Interval Markov Chains using constraints

Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01917092
Contributor : Benoît Delahaye Connect in order to contact the contributor
Submitted on : Friday, November 9, 2018 - 10:06:18 AM
Last modification on : Saturday, August 6, 2022 - 3:46:23 AM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

70