Quasi-Optimal Partial Order Reduction | Publicación