02099oam 2200541zu 450 99620438020331620210807003055.01-5090-7875-41-4244-2736-3(CKB)1000000000710562(SSID)ssj0000558321(PQKBManifestationID)12250518(PQKBTitleCode)TC0000558321(PQKBWorkID)10559341(PQKB)11711893(EXLCZ)99100000000071056220160829d2008 uy engtxtccrFormal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings[Place of publication not identified]IEEE2008Bibliographic Level Mode of Issuance: Monograph1-4244-2735-5 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.39/2Cimatti AlessandroJones Robert BFMCAD 2008PQKBPROCEEDING996204380203316Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings2519784UNISA