02090oam 2200517zu 450 99619885770331620210807002716.01-5090-9184-X(CKB)1000000000330940(SSID)ssj0000394765(PQKBManifestationID)12164180(PQKBTitleCode)TC0000394765(PQKBWorkID)10450244(PQKB)11569903(EXLCZ)99100000000033094020160829d2006 uy engtxtccrFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA[Place of publication not identified]IEEE Computer Society2006Bibliographic Level Mode of Issuance: Monograph0-7695-2707-8 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)MathematicsDesign and constructionCongressesDigital integrated circuitsCongressesElectrical & Computer EngineeringHILCCEngineering & Applied SciencesHILCCElectrical EngineeringHILCCDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)MathematicsDesign and constructionDigital integrated circuitsElectrical & Computer EngineeringEngineering & Applied SciencesElectrical Engineering621.3815IEEE Computer SocietyFMCAD '06PQKBPROCEEDING996198857703316Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA2362588UNISA01084nas 2200397 c 450 991089369030332120240201115348.0(CKB)5280000000195988(DE-599)ZDB2139620-6(OCoLC)645482805(DE-101)02576828X(EXLCZ)99528000000019598820040316b19151985 |y |gerur|||||||||||txtrdacontentcrdamediacrrdacarrierArbeiter-zeitung.atAZ ; Zentralorgan der Sozialistischen Partei ÖsterreichsWienSozialist.Verl.1915-1985Online-RessourceArbeiter-Zeitung AZArbeiter-Zeitung <Wien>Zeitunggnd-content0703203,61ssgnSozialdemokratische Partei Österreichs,isb3238DE-1019001JOURNAL9910893690303321Arbeiter-zeitung.at4270303UNINA