×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–3)

Designing correct circuits, Proc. 2nd IFIP WG 10.2/ WG 10.5 Workshop, Lyngby/Denmark 1992, 173-192 (1992).
MSC:  68T15 68W35 94C99
BibTeX Cite
WorldCat.org
Correct hardware design methodologies, Proc. Adv. Res. Workshop, Turin/Italy 1991, 421-426 (1992).
MSC:  68T15 94C12
BibTeX Cite
WorldCat.org

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software