Formal methods for the verification of digital circuits
By: C.A.J. van Eijk.
Publisher: Technische Universiteit Eindhoven
Published: 1997
Place of publication: Eindhoven
Language: eng
Number of pages: 144
Notes: Thesis (doctoral) - Technische Universiteit Eindhoven, 1997.