This page shows all presentations of this author published in EasyChair Smart Slide.
Quasi-Optimal Partial Order Reduction
Huyen T.T. Nguyen, Cesar Rodriguez, Marcelo Sousa, Camille Coti and Laure Petrucci