Verification of Stochastic Process Calculi

Nataliya Skrypnyuk

Research output: Book/Report › Ph.D. thesis

258 Downloads (Pure)

1 Finished

1 results

Finished

Verification of Stochastic Process Calculi
Skrypnyuk, N., Nielson, F., Seidl, H., Probst, C. W., Hankin, C., Hermanns, H. & Nielson, H. R.
Forskningsrådsfinansiering
01/09/2007 → 22/06/2011
Project: PhD