Fingerprint
Dive into the research topics of 'Model checking concurrent programs'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Model checking concurrent programs
Aarti Gupta, Vineet Kahlon, Shaz Qadeer, Tayssir Touili
Research output: Chapter in Book/Report/Conference proceeding › Chapter
3
Scopus
citations