APA (7th ed.) Citation

Chang, J., & Pedram, M. (1999). Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods. Springer US.

Chicago Style (17th ed.) Citation

Chang, Jui-Ming, and Massoud Pedram. Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods. Boston, MA: Springer US, 1999.

MLA (9th ed.) Citation

Chang, Jui-Ming, and Massoud Pedram. Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods. Springer US, 1999.