Fingerprint
Dive into the research topics of 'Reasoning about threads communicating via locks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reasoning about threads communicating via locks
Vineet Kahlon, Franjo Ivančić, Aarti Gupta
Research output: Contribution to journal › Conference article › peer-review
86
Scopus
citations