| Date of Award | 31 Mar 2025 |
|---|---|
| Original language | English |
| Supervisor | Thomas Neele (Supervisor 1) |
Cite this
- Standard
Computer-Assisted Verification of Partial-Order Reduction Methods
Student thesis: Master