Sujatha Kashyap

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

Coauthor Index

1

Vijay K. Garg

[1] [2] [3]