Verification of Stochastic Process Calculi

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

    Project Details

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

    Research Output

    • 1 Ph.D. thesis

    Verification of Stochastic Process Calculi

    Skrypnyuk, N., 2011, Kgs. Lyngby, Denmark: Technical University of Denmark. (IMM-PHD-2011-252).

    Research output: Book/ReportPh.D. thesis

    Open Access
    File