Infoscience

Conference paper

Model Checking Transactional Memories

Related material