LEADER 01380oam  2200421zu 450 
001 9910872451903321
005 20241212215258.0
024 7 $a10.1109/HLDVT.2002
035   $a(CKB)1000000000022042
035   $a(SSID)ssj0000454025
035   $a(PQKBManifestationID)12129304
035   $a(PQKBTitleCode)TC0000454025
035   $a(PQKBWorkID)10482181
035   $a(PQKB)10736666
035   $a(NjHacI)991000000000022042
035   $a(EXLCZ)991000000000022042
100   $a20160829d2002      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2002 IEEE International High Level Design Validation and Test Workshop
210 31$a[Place of publication not identified]$cIEEE$d2002
215   $a1 online resource (ix, 188 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311 08$a9780780376557 
311 08$a0780376552 
606   $aComputer software$xVerification$vCongresses
606   $aElectronic digital computers$xEvaluation$vCongresses
615  0$aComputer software$xVerification
615  0$aElectronic digital computers$xEvaluation
676   $a005.14
801  0$bPQKB
906   $aPROCEEDING
912   $a9910872451903321
996   $a2002 IEEE International High Level Design Validation and Test Workshop$92410548
997   $aUNINA