scientific article; zbMATH DE number 514046
From MaRDI portal
Publication:4281998
Cited in
(7)- scientific article; zbMATH DE number 4033043 (Why is no real title available?)
- Verifying a distributed list system: A case history
- Semantics of digital circuits
- Abstraction of hardware construction
- scientific article; zbMATH DE number 48334 (Why is no real title available?)
- scientific article; zbMATH DE number 711039 (Why is no real title available?)
- Higher-level hardware synthesis.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281998)