Race Detection in Two Dimensions
Metadata only
Date
2018-09Type
- Journal Article
ETH Bibliography
yes
Altmetrics
Publication status
publishedExternal links
Journal / series
ACM Transactions on Parallel ComputingVolume
Pages / Article No.
Publisher
Association for Computing MachineryOrganisational unit
03948 - Vechev, Martin / Vechev, Martin
Related publications and datasets
Is source of: https://doi.org/10.3929/ethz-b-000448465
More
Show all metadata
ETH Bibliography
yes
Altmetrics