Haubelt, C., & Teich, J. (2010). Digitale Hardware/Software-Systeme: Spezifikation und Verifikation. Springer.
Chicago-Zitierstil (17. Ausg.)Haubelt, Christian, und Jürgen Teich. Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation. Heidelberg [u.a.]: Springer, 2010.
MLA-Zitierstil (9. Ausg.)Haubelt, Christian, und Jürgen Teich. Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation. Springer, 2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.