APA引文

Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.

Chicago Style (17th ed.) Citation

Chaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.

MLA引文

Chaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.

警告：這些引文格式不一定是100％准確.