| |
| 2008 | ||
|---|---|---|
| 3 | EE | Sujatha Kashyap, Vijay K. Garg: Producing Short Counterexamples Using "Crucial Events". CAV 2008: 491-503 |
| 2005 | ||
| 2 | EE | Sujatha Kashyap, Vijay K. Garg: Exploiting predicate structure for efficient reachability detection. ASE 2005: 4-13 |
| 1 | EE | Sujatha Kashyap, Vijay K. Garg: Intractability results in predicate detection. Inf. Process. Lett. 94(6): 277-282 (2005) |
| 1 | Vijay K. Garg | [1] [2] [3] |