TY  - BOOK
AU  - Sherif Salem Mostafa Agamy
TI  - Model Checking Formal Verification Methodology for Network on Chip / 
U1  - 621 
PY  - 2014///
KW  - MSD
KW  - NULIB
KW  - Dissertation, Academic
N1  - Thesis (M.A.)—Nile University, Egypt, 2014; "Includes bibliographical references"; Contents
N2  - Abstract
ER  -