Logics for digital circuit verification
theory, algorithms, and applications
Gespeichert in:
Verfasser / Beitragende:
Gradus Leonardus Johannes Maria Janssen, geboren te Oss
Ort, Verlag, Jahr:
Eindhoven :
Technische Universiteit Eindhoven,
1999
Beschreibung:
XIII, 162 S. : Ill., Tab. ; 25 cm
Format:
Buch (Hochschulschrift)