EasyChair Smart Slide
Quasi-Optimal Partial Order Reduction
Quasi-Optimal Partial Order Reduction