dblp.uni-trier.dewww.uni-trier.de

Naeem Zafar

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
2EEShishpal 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
1EERonald 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)