Naeem Zafar

2006
2	EE	Shishpal Rawat, Raul Camposano, A. Kahng, Joseph Sawicki, Mike Gianfagna, Naeem Zafar, A. Sharan: DFM: where's the proof of value? DAC 2006: 1061-1062
1994
1	EE	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: 320

Coauthor Index

1	Martin Baynes	[1]
2	Raul Camposano	[2]
3	Ronald Collett	[1]
4	Michel Courtoy	[1]
5	Mike Gianfagna	[1] [2]
6	Johan Van Ginderdeuren	[1]
7	A. Kahng	[2]
8	Kenneth L. McMillan	[1]
9	Shishpal Rawat	[2]
10	Stephen Ricca	[1]
11	Alberto L. Sangiovanni-Vincentelli	[1]
12	Steve Sapiro	[1]
13	Joseph Sawicki	[2]
14	A. Sharan	[2]