This page shows all presentations of this author published in EasyChair Smart Slide.
Constrained Dynamic Partial Order Reduction
Elvira Albert, Miguel Gomez-Zamalloa, Miguel Isabel and Albert Rubio