Kropf, T. (1993). Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik (Als Ms. gedr.). VDI-Verl.
Chicago-Zitierstil (17. Ausg.)Kropf, Thomas. Ein Einheitlicher Ansatz Zur Verifikation Und Testerzeugung Für Digitale Schaltungen Mit Temporaler Logik. Als Ms. gedr. Düsseldorf: VDI-Verl, 1993.
MLA-Zitierstil (9. Ausg.)Kropf, Thomas. Ein Einheitlicher Ansatz Zur Verifikation Und Testerzeugung Für Digitale Schaltungen Mit Temporaler Logik. Als Ms. gedr. VDI-Verl, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.