MLA

Klemmer, Lucas, and Daniel Große. Versatile Hardware Analysis Techniques : From Waveform-based Analysis to Formal Verification. Cham: Springer, 2025.

APA

Klemmer, L., & Große, D. (2025). Versatile Hardware Analysis Techniques : From Waveform-Based Analysis to Formal Verification. Cham: Springer.

Chicago

Klemmer, Lucas., and Daniel Große. Versatile Hardware Analysis Techniques : From Waveform-Based Analysis to Formal Verification. Cham: Springer, 2025.