Kropf, T. (1999). Introduction to formal hardware verification. Springer.
Chicago-Zitierstil (17. Ausg.)Kropf, Thomas. Introduction to Formal Hardware Verification. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 1999.
MLA-Zitierstil (9. Ausg.)Kropf, Thomas. Introduction to Formal Hardware Verification. Springer, 1999.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.