01396nam2-2200373li-450 99000020915020331620180312154616.03-540-66559-50020915USA010020915(ALEPH)000020915USA01002091520001109d1999----km-y0itay0103----baengGWCorrect hardware design and verification methods10th IFIP WG10.5 advanced researchworking conference, CHARME '99Bad Herrenalb, Germany, September 27-29, 1999proceedingsLaurence Pierre ...[et al.] (eds.)BerlinoSpringer-Verlagcopyr. 1999XI, 366 p.ill.22 cmLecture notes in computer science170300100202642001Lecture notes in computer sciencePierre,LaurenceIFIP WG10.5 advanced research working conferenceCHARME '99745714Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209150203316001 LNCS (1703)002406600100100925BKSCI1999102520001110USA011714ALANDI9020010209USA01173320020403USA011629PATRY9020040406USA011615Correct hardware design and verification methods1487572UNISA