Versatile Hardware Analysis Techniques : From Waveform-Based Analysis to Formal Verification
  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.