TY  - BOOK
AU  - Anam Zaman 
TI  - Formal verification of network on chip (NoC) architecture
U1  - MSEE-3 ZAM 
PY  - 2015///
CY  - Islamabad
PB  - NUST-SEECS
N1  - Supervisors: Dr. Osman Hasan, Dr. M. Shahzad Younis, Dr. Rehan Hafiz, Ms. Hira Taqdees
UR  - http://10.250.8.41:8080/xmlui/handle/123456789/8793
ER  -