Collaborated with:
H.T.T.Nguyen C.Rodríguez M.Sousa L.Petrucci
Talks about:
partial (1) reduct (1) quasi (1) order (1) optim (1)
Person: Camille Coti
DBLP: Coti:Camille
Contributed to:
Wrote 1 papers:
- CAV-2018-NguyenRSCP #partial order #reduction
- Quasi-Optimal Partial Order Reduction (HTTN, CR, MS, CC, LP), pp. 354–371.