zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Geist, Daniel (ed.) et al., 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. Berlin: Springer (ISBN 3-540-20363-X/pbk). Lect. Notes Comput. Sci. 2860, 19-34 (2003).
MSC:  68N30 68Q60
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Year of Publication