Eveking, H. (1991). Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-94684-3
Chicago-Zitierstil (17. Ausg.)Eveking, Hans. Verifikation Digitaler Systeme: Eine Einführung in Den Entwurf Korrekter Digitaler Systeme. Wiesbaden: Vieweg+Teubner Verlag, 1991. https://doi.org/10.1007/978-3-322-94684-3.
MLA-Zitierstil (9. Ausg.)Eveking, Hans. Verifikation Digitaler Systeme: Eine Einführung in Den Entwurf Korrekter Digitaler Systeme. Vieweg+Teubner Verlag, 1991. https://doi.org/10.1007/978-3-322-94684-3.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.