Anicet Bart, BenoƮt Delahaye, Paulin Fournier, Didier Lime, Eric Monfroy, Charlotte Truchet. Reachability in parametric Interval Markov Chains using constraints. Theoretical Computer Science, 747:48-74, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.