Semantic reduction of thread interleavings in concurrent programs
- Vineet Kahlon
- , Sriram Sankaranarayanan
- , Aarti Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
21
Link opens in a new tab
Scopus
citations