DOI,IST REx ID,Research Group,Title of publication
10.1007/s10703-011-0131-3,531,ToHe,Verification of STM on relaxed memory models