Verification of Stochastic Process Calculi

  • Skrypnyuk, Nataliya (PhD Student)
  • Nielson, Flemming (Main Supervisor)
  • Seidl, Helmut (Supervisor)
  • Probst, Christian W. (Examiner)
  • Hankin, Chris (Examiner)
  • Hermanns, Holger (Examiner)
  • Nielson, Hanne Riis (Supervisor)

    Project Details

    StatusFinished
    Effective start/end date01/09/200722/06/2011