02194oam 2200577zu 450 991014539580332120241212215629.09781509078752150907875497814244273691424427363(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: Monograph9781424427352 1424427355 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 B(Robert Brent),1969-FMCAD 2008PQKBPROCEEDING9910145395803321Formal methods in computer-aided design : eight international conference, FMCAD 2008, Portland, Oregon, USA, November 17-20, 2008 : proceedings2519784UNINA