Tingting Han
|
Tingting Han
Research Assistant
Wolfson Building, Parks Road, Oxford OX1 3QD |
Info
|
Themes |
|
|
Activities |
Probabilistic Model Checking | Quantitative Analysis and Verification |
|
Projects |
