000 00466nam a22001337a 4500
082 _aMSEE-3 ZAM
100 _aAnam Zaman
_992976
245 _aFormal verification of network on chip (NoC) architecture
260 _aIslamabad
_bNUST-SEECS
_c2015
300 _a67p.
_bill.;
_eCD ROM
500 _aSupervisors: Dr. Osman Hasan, Dr. M. Shahzad Younis, Dr. Rehan Hafiz, Ms. Hira Taqdees
856 _uhttp://10.250.8.41:8080/xmlui/handle/123456789/8793
942 _cPR
_2ddc
999 _c13454
_d13454