DOI,IST REx ID,Title of publication
null,4363,Formalizing and Verifying Transactional Memories