Conference paper
Symbolic implication in test generation
Sandip Kundu, I. Nair, et al.
European Conference on Design Automation 1992
Sandip Kundu, I. Nair, et al.
European Conference on Design Automation 1992
R. Thomas, Sandip Kundu
European Conference on Design Automation 1992
A. Devgan, Sandip Kundu
ASP-DAC 1998
Sandip Kundu
ISIT 1990