%0 Book
%T Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik
%A Kropf, Thomas
%7 Als Ms. gedr.
%I VDI-Verl.
%@ 3181474096
%K Hochschulschrift
%K Digitalschaltung
%K Temporale Logik
%K Hardwareverifikation
%K Testmustergenerierung
%D 1993
%X Literaturverz. S. 136 - 145
%C VDI-Verl.
%C Düsseldorf
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation