Combining Partial Order Reduction with Symbolic Model Checking Jeudi 19 avril 2012 à 14h, Auditoire BARB 93 Place Ste Barbe 1348 Louvain-la-Neuve
