Accelerated Verification of Concurrent Systems

PhD defense Maurice Laveaux

PhD thesis of
Maurice Laveaux
Date
Tuesday November 22, 2022
Organisational Units
Formal System Analysis
Place
TU/e Campus