Suchergebnisse - Junges, Sebastian

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

    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) ,


    Volltext
    Article (Journal) Online Resource


    Gespeichert in:

Suchwerkzeuge: