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