Fingerprint Dive into the research topics of 'Verification of Stochastic Process Calculi'. Together they form a unique fingerprint.
- Sort by
- Weight
- Alphabetically
Verification of Stochastic Process Calculi
Nataliya Skrypnyuk
Research output: Book/Report › Ph.D. thesis
258
Downloads
(Pure)