Specification and VLSI Design
Graham Birtwistle‚ Jeff Joyce‚ Breen Liblong‚ Tom Melham and Rick Schediwy
Book Title
Formal Aspects of VLSI Design: Proceedings of the 1985 Edinburgh Workshop on VLSI: Edinburgh‚ Scotland‚ U.K.
Editor
George J. Milne and P. A. Subrahmanyam
ISBN
0−444−70026−9
Pages
83–97
Publisher
North−Holland
Year
1986