Shankar G. Govindaraju

	2000
5		Shankar G. Govindaraju, David L. Dill: Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking. ICCAD 2000: 115-119
	1999
4		Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann: Improved Approximate Reachability Using Auxiliary State Variables. DAC 1999: 312-316
3		Shankar G. Govindaraju, David L. Dill: Approximate Symbolic Model Checking using Overlapping Projections. Electr. Notes Theor. Comput. Sci. 23(2): 23-33 (1999)
	1998
2		Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz: Approximate Reachability with BDDs Using Overlapping Projections. DAC 1998: 451-456
1		Shankar G. Govindaraju, David L. Dill: Verification by approximate forward and backward reachability. ICCAD 1998: 366-370

Coauthor Index

1	Jules P. Bergmann	[4]
2	David L. Dill	[1] [2] [3] [4] [5]
3	Mark Horowitz	[2]
4	Alan J. Hu	[2]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page