Thu Doan, H. T., Zhang, W., Zhang, M., & Ogata, K. (2015, November). Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited. DCIT 2015 : proceedings : 2015 second International Symposium on Dependable Computing and Internet of Things : 16-19 November 2015, Wuhan, Hubei, China, 30-39. https://doi.org/10.1109/DCIT.2015.13
Citace podle Chicago (17th ed.)Thu Doan, Ha Thi, Wenjie Zhang, Min Zhang, a Kazuhiro Ogata. "Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited." DCIT 2015 : Proceedings : 2015 Second International Symposium on Dependable Computing and Internet of Things : 16-19 November 2015, Wuhan, Hubei, China Nov. 2015: 30-39. https://doi.org/10.1109/DCIT.2015.13.
Citace podle MLA (9th ed.)Thu Doan, Ha Thi, et al. "Model Checking Chandy-Lamport Distributed Snapshot Algorithm Revisited." DCIT 2015 : Proceedings : 2015 Second International Symposium on Dependable Computing and Internet of Things : 16-19 November 2015, Wuhan, Hubei, China, Nov. 2015, pp. 30-39, https://doi.org/10.1109/DCIT.2015.13.