Thu Doan, H. T., Ogata, K., & Bonnet, F. (2017, June). Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level. Proceedings of the International Conference on Distributed Computing Systems, 1586-1596. https://doi.org/10.1109/ICDCS.2017.176
Citácia podle Chicago (17th ed.)Thu Doan, Ha Thi, Kazuhiro Ogata, a Francois Bonnet. "Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking It at Meta-Level." Proceedings of the International Conference on Distributed Computing Systems Jun. 2017: 1586-1596. https://doi.org/10.1109/ICDCS.2017.176.
Citácia podľa MLA (8th ed.)Thu Doan, Ha Thi, et al. "Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking It at Meta-Level." Proceedings of the International Conference on Distributed Computing Systems, Jun. 2017, pp. 1586-1596, https://doi.org/10.1109/ICDCS.2017.176.