Logics for digital circuit verification
Subtitle: theory, algorithms, and applications
By: Gradus Leonardus Johannes Maria Janssen
Contributors: Technische Universiteit Eindhoven
Publisher: Technische Universiteit Eindhoven
Published: 1999
Place of publication: Eindhoven
Language: eng
Number of pages: 162
Notes: Thesis (doctoral)--Technische Universiteit Eindhoven, 1999.

Met lit. opg. - Met samenvatting in het Nederlands.