Şen, A., “Error Diagnosis in Equivalence Checking of High Performance Microprocessors”, Electronic Notes in Theoretical Computer Science (ENTCS), 2007.

Yayın Tarihi: 
Pazartesi, 1 Ocak, 2007
Yayin Birimi: 
Mühendislik Fakültesi
Yayın Bölümü: 
Bilgisayar Mühendisliği
Yayın Türü: 
Makale