×

zbMATH — the first resource for mathematics

Found 4 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

Filter Results by …

Document Type
Reviewing State
Author
Year of Publication
Classification
Software