Naveed Khattak Sarfraz

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

1 Naveed Ali, Shoab A. Khan, Naveed Khattak Sarfraz: Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands. FCS 2007: 171-176

2007
1		Naveed Ali, Shoab A. Khan, Naveed Khattak Sarfraz: Equivalence Verification of Arithmetic Data Paths With Multiple Word-Length Operands. FCS 2007: 171-176

Coauthor Index

1 Naveed Ali [1]

2 Shoab A. Khan [1]