> UCL
> Secteurs
> Secteur des sciences et technologies
> Technologies de l'information et de la communication, électronique et mathématiques appliquées (ICTEAM)
> Structure et fonctionnement
> Ingénierie informatique - INGI
> 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  
|