LEADER 01499nam  2200385   450 
001 996577835703316
005 20230721041406.0
010   $a1-5090-6978-X
035   $a(CKB)4100000008867320
035   $a(WaSeSS)IndRDA00119662
035   $a(EXLCZ)994100000008867320
100   $a20200305d2009      uy             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFMCAD 2009 $eproceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA /$ftechnically sponsored by, IEEE Council on Electronic Design Automation ; in cooperation with ACM SIGDA
210  1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2009.
215   $a1 online resource (115 pages)
311   $a1-4244-4965-0 
320   $aIncludes bibliographical references and index.
606   $aIntegrated circuits$xVerification$vCongresses
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
615  0$aIntegrated circuits$xVerification
615  0$aDigital integrated circuits$xComputer-aided design
676   $a621
712 02$aIEEE Council on Electronic Design Automation,
712 02$aACM Special Interest Group on Design Automation,
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996577835703316
996   $aFMCAD 2009$92520506
997   $aUNISA