Hardware Specification, Verification and Synthesis
Subtitle: Mathematical Aspects - Workshop Proceedings
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Published: 1990-01-01
ISBN-13: 9783540972266