Quasi-Optimal Partial Order Reduction. - Huyen T. T. Nguyen; César Rodríguez; Marcelo Sousa; Camille Coti; Laure Petrucci (CAV (2), 2018)