Verification of Stochastic Process Calculi

Nataliya Skrypnyuk

    Research output: Book/ReportPh.D. thesis

    384 Downloads (Orbit)

    Search results

    • Finished

      Verification of Stochastic Process Calculi

      Skrypnyuk, N. (PhD Student), Nielson, F. (Main Supervisor), Seidl, H. (Supervisor), Probst, C. W. (Examiner), Hankin, C. (Examiner), Hermanns, H. (Examiner) & Nielson, H. R. (Supervisor)

      Forskningsrådsfinansiering

      01/09/200722/06/2011

      Project: PhD