APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

Kropf, Thomas. Formal Hardware Verification: Methods and Systems in Comparison. Springer, 1997.

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