Följ
Nguyen Thi Thanh Huyen
Nguyen Thi Thanh Huyen
Hanoi National University of Education
Verifierad e-postadress på hnue.edu.vn
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.