APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Thu Doan, Ha Thi, Kazuhiro Ogata, and 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.

MLA (9th ed.) Citation

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.