| Dyddiad Dyfarnu | 2018 |
|---|---|
| Iaith wreiddiol | Saesneg |
| Sefydliad Dyfarnu |
|
Automated Verication of Object Petri Nets based on Transformation, Unfoldings and SAT Solving
Traethawd ymchwil myfyriwr: Traethawd ymchwil doethurol