APA (7th ed.) Citation

Liu, W., Wang, R., Fu, X., Wang, J., Dong, W., & Mao, X. Counterexample-Preserving Reduction for Symbolic Model Checking. Wiley.

Chicago Style (17th ed.) Citation

Liu, Wanwei, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, and Xiaoguang Mao. Counterexample-Preserving Reduction for Symbolic Model Checking. Wiley.

MLA (9th ed.) Citation

Liu, Wanwei, et al. Counterexample-Preserving Reduction for Symbolic Model Checking. Wiley.