APA (7th ed.) Citation

Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Abstraction Refinement for Large Scale Model Checking. Springer Science+Business Media, LLC.

Chicago Style (17th ed.) Citation

Wang, Chao, Gary D. Hachtel, and Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. Boston, MA: Springer Science+Business Media, LLC, 2006.

MLA (8th ed.) Citation

Wang, Chao, et al. Abstraction Refinement for Large Scale Model Checking. Springer Science+Business Media, LLC, 2006.