TY  - JOUR
AU  - João Lourenço
AU  - Ricardo Dias
TI  - Detecting Concurrency Anomalies in Transactional Memory Programs
JO  - Computer Science and Information Systems
PY  - 2011
VL  - 8
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2011_8_2_a14/
ID  - CSIS_2011_8_2_a14
ER  -