> UCL
> Sectors
> Science and Technology Sector
> ICTEAM
> Structure and organization
> Computing science engineering
> Thesis defense : José VANDER MEULEN
|
Thesis defense : José VANDER MEULENCombining Partial Order Reduction with Symbolic Model Checking
Jeudi 19 avril 2012 à 14h, Auditoire BARB 93 Place Ste Barbe 1348 Louvain-la-Neuve 
|
