1
Published 1983
Springer Berlin Heidelberg
Table of Contents: ... -- Area and Delay Penalties in Restructurable Wafer-Scale Arrays -- Formal System Models -- Verification...