Huyen T. T. Nguyen

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Top Venues

Publications

Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CAV (2) (2018)
Huyen T. T. Nguyen, César Rodríguez, Marcelo Sousa, Camille Coti, Laure Petrucci
Quasi-Optimal Partial Order Reduction. CoRR (2018)