APA Citation

Kropf, T. (1997). Formal hardware verification: Methods and systems in comparison. Berlin ; New York: Springer.

Chicago Style Citation

Kropf, Thomas. Formal Hardware Verification: Methods and Systems in Comparison. Berlin ; New York: Springer, 1997.

MLA Citation

Kropf, Thomas. Formal Hardware Verification: Methods and Systems in Comparison. Berlin ; New York: Springer, 1997.

Warning: These citations may not always be 100% accurate.