[IEEE AFRICON 2009 (AFRICON) - Nairobi, Kenya (2009.09.23-2009.09.25)] AFRICON 2009 - Formalizing certain tasks for processor architecture verification
Shah, A.K., Al-Mazyad, Abdulaziz, Ramani, A.K.Year:
2009
Language:
english
DOI:
10.1109/afrcon.2009.5308179
File:
PDF, 361 KB
english, 2009