Seguir
Nguyen Thi Thanh Huyen
Nguyen Thi Thanh Huyen
Hanoi National University of Education
Email confirmado em hnue.edu.vn
Título
Citado por
Citado por
Ano
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
O sistema não pode efectuar a operação agora. Tente mais tarde.