APA (7th ed.) Citation

Wang, R., Liu, W., Li, T., Mao, X., & Wang, J. Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. Wiley.

Chicago Style (17th ed.) Citation

Wang, Rui, Wanwei Liu, Tun Li, Xiaoguang Mao, and Ji Wang. Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. Wiley.

MLA (9th ed.) Citation

Wang, Rui, et al. Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives. Wiley.