LEADER 01224oam  2200385zu 450 
001 9910872460803321
005 20241212215307.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 08$a9780780382367 
311 08$a0780382366 
606   $aComputer software$xVerification$vCongresses
615  0$aComputer software$xVerification
676   $a005.14
801  0$bPQKB
906   $aPROCEEDING
912   $a9910872460803321
996   $a2003 IEEE International Workshop High Level Design Validation and Test$92387544
997   $aUNINA