Infoscience

Similar records
Conference paper

Model Checking Transactional Memories

Guerraoui, Rachid; Henzinger, Tom; Singh, Vasu
  • Presented at: ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
  • Published in: ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
  • : , 2008

Reference

Record created on 2008-02-22, modified on 2012-03-20

Fulltext

Contacts

EPFL authors