author = { Kropf, Thomas },

title = { Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik },

edition = { Als Ms. gedr. } ,

publisher = {VDI-Verl.},

isbn = {3181474096},

keywords = { Hochschulschrift , Digitalschaltung , Temporale Logik , Hardwareverifikation , Testmustergenerierung },

year = {1993},

abstract = {Literaturverz. S. 136 - 145},

booktitle = {Fortschrittberichte VDI ; Reihe 9, Elektronik, Mikro- und Nanotechnik ; 174},

address = { Düsseldorf },

url = { http://slubdd.de/katalog?TN_libero_mab2 }