Metadata only
Date
2012-06Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
ACM SIGPLAN NoticesVolume
Pages / Article No.
Publisher
Association for Computing MachinerySubject
Concurrency; Synthesis; Relaxed Memory Models; Weak Memory ModelsOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
More
Show all metadata
ETH Bibliography
yes
Altmetrics