01382nam--2200373---45--99000296389020331620070817123745.03-540-29105-9000296389USA01000296389(ALEPH)000296389USA0100029638920070817d2005----km-y0ITAy0103-------baengDECorrect hardware design and verification methods13th IFIP WG 10.5 advanced research working conference, CHARME 2005Saarbrucken, Germany, October 3-6, 2005proceedingsDominique Borrione, Wolfgang Paul(Eds.)Berlin [etc.]Springercopyr. 2005XII, 412 p.ill.24 cmLecture notes in computer science3725altro genere2001Lecture notes in computer science3725HardwareArchitetturaCongressiSaarbrucken2005621.39BORRIONE,DominiquePAUL,WolfgangIFIP WG 10.5 advanced research working conferenc CHARME<13. ;2005 ;Saarbrucken>597942ITACBSISBD990002963890203316001 LNCS 372532444/CBS00100112761BKSCISENATORE9020070817USA011237Correct hardware design and verification methods1026683UNISA