APA (7th ed.) Citation

Zhang, J., Peng, Y., Hung, W. N. N., Li, X., Tan, J., & Shi, Z. A Case Study on Formal Analysis of an Automated Guided Vehicle System. Wiley.

Chicago Style (17th ed.) Citation

Zhang, Jie, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, and Zhiping Shi. A Case Study on Formal Analysis of an Automated Guided Vehicle System. Wiley.

MLA (9th ed.) Citation

Zhang, Jie, et al. A Case Study on Formal Analysis of an Automated Guided Vehicle System. Wiley.