Projects per year
Projects
- 1 Finished
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)
01/09/2007 → 22/06/2011
Project: PhD