APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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