Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination
von Baier, Christel (VerfasserIn)
, Hensel, Christian (VerfasserIn)
, Hutschenreiter, Lisa (VerfasserIn)
, Junges, Sebastian (VerfasserIn)
, Katoen, Joost-Pieter (VerfasserIn)
, Klein, Joachim (VerfasserIn)
,
Signatur:
Wird geladen …
Standort:
Wird geladen …
Article (Journal)
Online Resource
