Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
by Baier, Christel (Author)
, Hensel, Christian (Author)
, Hutschenreiter, Lisa (Author)
, Junges, Sebastian (Author)
, Katoen, Joost-Pieter (Author)
, Klein, Joachim (Author)
,
Call Number:
Loading…
Located:
Loading…
Article (Journal)
Online Resource
