PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
![Foto de PURIFICACIÓN](/img/nophoto.png)
![Foto de University of Melbourne](/img/noimage_org.png)
University of Melbourne
Melbourne, AustraliaPublicaciones en colaboración con investigadores/as de University of Melbourne (1)
2017
-
Context-sensitive dynamic partial order reduction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)