Naeem Zafar

Publication Activity (10 Years)

Years Active: 1994-2006
Publications (10 Years): 0

Publications

Shishpal Rawat, Raul Camposano, Andrew B. Kahng, Joseph Sawicki, Mike Gianfagna, Naeem Zafar, Atul Sharan
DFM: where's the proof of value? DAC (2006)
Ronald Collett, Mike Gianfagna, Michel Courtoy, Martin Baynes, Johan Van Ginderdeuren, Kenneth L. McMillan, Stephen Ricca, Alberto L. Sangiovanni-Vincentelli, Steve Sapiro, Naeem Zafar
Panel: Complex System Verification: The Challenge Ahead. DAC (1994)