APA (7th ed.) Citation

Fujita, M., Ghosh, I., & Prasad, M. (2008). Verification techniques for system-level design. Morgan Kaufmann.

Chicago Style (17th ed.) Citation

Fujita, Masahiro, Indradeep Ghosh, and Mukul Prasad. Verification Techniques for System-level Design. Boston: Morgan Kaufmann, 2008.

MLA (8th ed.) Citation

Fujita, Masahiro, et al. Verification Techniques for System-level Design. Morgan Kaufmann, 2008.