Suchergebnisse - Stoelinga, Mariëlle Ida Antoinette

  • Treffer 1 – 2 von 2
Treffer filtern
  1. 1
    Buchumschlag

    Alea jacta est: verification of probabilistic, real-time and parametric systems
    von Stoelinga, Mariëlle Ida Antoinette

    Veröffentlicht 2002
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

    Selected and extended papers from ACM SVT 2014

    Veröffentlicht 2016
    Weitere beteiligte Personen: “… Stoelinga, Mariëlle Ida Antoinette …”
    Tagungsbericht Buch


    Gespeichert in:

Suchwerkzeuge: