TY - BOOK

AU - Kropf, Thomas

TI - Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik

ET - Als Ms. gedr.

PB - VDI-Verl.

SN - 3181474096

KW - Hochschulschrift

KW - Digitalschaltung

KW - Temporale Logik

KW - Hardwareverifikation

KW - Testmustergenerierung

PY - 1993

N2 - Literaturverz. S. 136 - 145

BT - Fortschrittberichte VDI ; Reihe 9, Elektronik, Mikro- und Nanotechnik ; 174

CY - Düsseldorf

UR - http://slubdd.de/katalog?TN_libero_mab2

ER -