HEDRICH, Lars, 1997. Ansätze zur formalen Verifikation analoger Schaltungen. Als Ms. gedr. Düsseldorf: VDI-Verl. Fortschritt-Berichte VDI. Reihe 20, Rechnerunterstützte Verfahren, 257. ISBN 3183257203.
Elsevier - Harvard (with titles)Hedrich, L., 1997. Ansätze zur formalen Verifikation analoger Schaltungen, Als Ms. gedr. ed, Fortschritt-Berichte VDI. Reihe 20, Rechnerunterstützte Verfahren, Fortschritt-Berichte VDI. Reihe 20, Rechnerunterstützte Verfahren. VDI-Verl., Düsseldorf.
American Psychological Association 7th editionHedrich, L. (ca. 1997). Ansätze zur formalen Verifikation analoger Schaltungen [Book]. In Fortschritt-Berichte VDI. Reihe 20, Rechnerunterstützte Verfahren (Als Ms. gedr.). VDI-Verl.
Springer - Basic (author-date)Hedrich L (1997) Ansätze zur formalen Verifikation analoger Schaltungen, Als Ms. gedr. VDI-Verl., Düsseldorf
Juristische Zitierweise (Stüber) (Deutsch)Hedrich, Lars, Ansätze zur formalen Verifikation analoger Schaltungen, Als Ms. gedr. , Düsseldorf 1997.