01024oam 2200337zu 450 99620508490331620210807000524.01-4244-6480-3(CKB)2560000000009610(SSID)ssj0000453089(PQKBManifestationID)12167255(PQKBTitleCode)TC0000453089(PQKBWorkID)10480750(PQKB)11509932(EXLCZ)99256000000000961020160829d2010 uy engtxtccr2009 10th International Workshop on Microprocessor Test and Verification[Place of publication not identified]IEEE2010Bibliographic Level Mode of Issuance: Monograph0-7695-4000-7 1-4244-6479-X IEEE StaffPQKBPROCEEDING9962050849033162009 10th International Workshop on Microprocessor Test and Verification2384721UNISA