Nguyen Thi Thanh Huyen

Hanoi National University of Pedagogy - Gwangju / Vietnam

Others

AD Scientific Index ID: 4925941

Đại học Sư phạm Hà Nội Hà Nội

Registration, Add Profile,
Premium Membership

Print Your Certificate

Nguyen Thi Thanh Huyen's MOST POPULAR ARTICLES

1-) Quasi-optimal partial order reductionHTT Nguyen, C Rodríguez, M Sousa, C Coti, L PetrucciInternational Conference on Computer Aided Verification, 354-371, 2018222018

ARTICLES

Add your articles