Formal Synthesis of Digital Systems
Hanna, Keith,
Daeche, Neil,
Longley, Mark
(1989)
Formal Synthesis of Digital Systems.
In: Claesen, Luc J. M., ed.
Proc IFIP Intnl. Workshop on Applied Formal Methods for Correct VLSI Design.
.
pp. 532-548.
Elsevier
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:20940)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
(Contact us about this Publication)
|
- Depositors only (login required):
|