Reachability in parametric Interval Markov Chains using constraints - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2018

Dates et versions

hal-01917092 , version 1 (09-11-2018)

Identifiants

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⟩
78 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More