Accelerated Verification of Concurrent Systems

PhD defense Maurice Laveaux

PhD thesis of
Maurice Laveaux
Date
Tuesday November 22, 2022
Place
TU/e Campus