Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Chicago Style aipamenaChaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA aipamenaChaochen, Z., and C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.