Search results for: M.H. Zaki
2009 Formal Methods in Computer-Aided Design > 93 - 100
2007 Internatonal Conference on Microelectronics > 125 - 128
2007 IEEE Northeast Workshop on Circuits and Systems > 1513 - 1516
2009 Formal Methods in Computer-Aided Design > 93 - 100
2007 Internatonal Conference on Microelectronics > 125 - 128
2007 IEEE Northeast Workshop on Circuits and Systems > 1513 - 1516