Publication

Model Checking Transactional Memories