Skip to Main content Skip to Navigation
Journal articles

Reachability in parametric Interval Markov Chains using constraints

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01917092
Contributor : Benoît Delahaye <>
Submitted on : Friday, November 9, 2018 - 10:06:18 AM
Last modification on : Thursday, February 27, 2020 - 1:05:07 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

146