Verification Techniques for xMAS
The thesis was published by
Fedotov, Alexander,
in January 2022,
Technische Universiteit Eindhoven.
Abstract:
The full thesis can be downloaded at :
https://pure.tue.nl/ws/files/192130951/20220111_Fedotov_hf.pdf
https://pure.tue.nl/ws/files/192130951/20220111_Fedotov_hf.pdf