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/2007 → 22/06/2011

    Funding

    • Forskningsrådsfinansiering

    Fingerprint

    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
    View full fingerprint
    • 1 Ph.D. thesis