Seguir
Nguyen Thi Thanh Huyen
Nguyen Thi Thanh Huyen
Hanoi National University of Education
Dirección de correo verificada de hnue.edu.vn
Título
Citado por
Citado por
Año
Quasi-optimal partial order reduction
HTT Nguyen, C Rodríguez, M Sousa, C Coti, L Petrucci
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
332018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.