Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Model Checking Transactional Memories
conference paper
Model Checking Transactional Memories
Guerraoui, Rachid
•
Henzinger, Tom
•
Singh, Vasu
2008
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation (PLDI)
Files
Details
Metrics