Seguir
Nguyen Thi Thanh Huyen
Nguyen Thi Thanh Huyen
Hanoi National University of Education
E-mail 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 executar a operação agora. Tente novamente mais tarde.