![]() | ![]() |
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] |