×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Margaria, Tiziana (ed.) et al., Correct hardware design and verification methods. 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, GB, September 4-7, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2144, 465-479 (2001).
BibTeX Cite
Full Text: Link

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software