LEADER 01194oam  2200373zu 450 
001 996202920103316
005 20210806235801.0
035   $a(CKB)1000000000022215
035   $a(SSID)ssj0000454620
035   $a(PQKBManifestationID)12130106
035   $a(PQKBTitleCode)TC0000454620
035   $a(PQKBWorkID)10397422
035   $a(PQKB)11110706
035   $a(NjHacI)991000000000022215
035   $a(EXLCZ)991000000000022215
100   $a20160829d2003      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$a2003 IEEE International Workshop High Level Design Validation and Test
210 31$a[Place of publication not identified]$cI E E E$d2003
215   $a1 online resource (viii, 178 pages) $cillustrations
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7803-8236-6 
606   $aComputer software$xVerification$vCongresses
615  0$aComputer software$xVerification
676   $a005.14
801  0$bPQKB
906   $aPROCEEDING
912   $a996202920103316
996   $a2003 IEEE International Workshop High Level Design Validation and Test$92387544
997   $aUNISA