LEADER 01303oam  2200433zu 450 
001 9910145409003321
005 20241212215655.0
010   $a9781509078608
010   $a1509078606
024 7 $a10.1109/HLDVT14411.2008
035   $a(CKB)1000000000710458
035   $a(SSID)ssj0000453265
035   $a(PQKBManifestationID)12129797
035   $a(PQKBTitleCode)TC0000453265
035   $a(PQKBWorkID)10480990
035   $a(PQKB)11688030
035   $a(NjHacI)991000000000710458
035   $a(EXLCZ)991000000000710458
100   $a20160829d2008      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2008 IEEE International High Level Design Validation and Test Workshop
210 31$a[Place of publication not identified]$cI E E E$d2008
215   $a1 online resource
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9781424429226 
311 08$a1424429226 
606   $aComputer software$xVerification
615  0$aComputer software$xVerification.
676   $a005.14
702   $aIEEE Staff
801  0$bPQKB
906   $aPROCEEDING
912   $a9910145409003321
996   $a2008 IEEE International High Level Design Validation and Test Workshop$92524020
997   $aUNINA