APA-Zitierstil (7. Ausg.)

Kundu, S., Lerner, S., & Gupta, R. K. (2011). High-Level verification: Methods and tools for verification of system-level designs. Springer.

Chicago-Zitierstil (17. Ausg.)

Kundu, Sudipta, Sorin Lerner, und Rajesh K. Gupta. High-Level Verification: Methods and Tools for Verification of System-level Designs. New York, NY [u.a.]: Springer, 2011.

MLA-Zitierstil (9. Ausg.)

Kundu, Sudipta, et al. High-Level Verification: Methods and Tools for Verification of System-level Designs. Springer, 2011.