Correct hardware design and verification methods : 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003 : proceedings /

Bibliographic Details
Corporate Author:	CHARME 2003 L'Aquila, Italy
Other Authors:	Geist, Daniel, 1961-, Tronci, Enrico, 1961-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2003]
Series:	Lecture notes in computer science. 2860.
Subjects:	Integrated circuits > Very large scale integration > Computer-aided design > Congresses. Integrated circuits > Verification > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2860

Remote Storage