APA (7th ed.) Citation

Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Abstraction Refinement for Large Scale Model Checking. Springer US.

Chicago Style (17th ed.) Citation

Wang, Chao, Gary D. Hachtel, and Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. Boston, MA: Springer US, 2006.

MLA (8th ed.) Citation

Wang, Chao, et al. Abstraction Refinement for Large Scale Model Checking. Springer US, 2006.