Folgen
Nguyen Thi Thanh Huyen
Nguyen Thi Thanh Huyen
Hanoi National University of Education
Bestätigte E-Mail-Adresse bei hnue.edu.vn
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.