Browsing by Author Sethi, D
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| 15-Feb-2015 | Model checking unbounded concurrent lists | Sethi, D; Talupur, M; Malik, S |
| 2014 | Using flow specifications of parameterized cache coherence protocols for verifying deadlock freedom | Sethi, D; Talupur, M; Malik, Sharad |