Volition: Scalable and precise sequential consistency violation detection
- Qian, X.
- Torrellas, J.
- Sahelices, B.
- Qian, D.
ISSN: 1523-2867
Año de publicación: 2013
Volumen: 48
Número: 4
Páginas: 535-548
Tipo: Aportación congreso
ISSN: 1523-2867
Año de publicación: 2013
Volumen: 48
Número: 4
Páginas: 535-548
Tipo: Aportación congreso