APA (7th ed.) Citation

Xiao, M., Wan, H., Fan, H., Shao, H., Li, Z., & Yang, K. (2025). Formal Analysis of Ratchet Protocols Based on Logic of Events. Applied Sciences (2076-3417), 15(13), 6964. https://doi.org/10.3390/app15136964

Chicago Style (17th ed.) Citation

Xiao, Meihua, Hongbin Wan, Hongming Fan, Huaibin Shao, Zehuan Li, and Ke Yang. "Formal Analysis of Ratchet Protocols Based on Logic of Events." Applied Sciences (2076-3417) 15, no. 13 (2025): 6964. https://doi.org/10.3390/app15136964.

MLA (9th ed.) Citation

Xiao, Meihua, et al. "Formal Analysis of Ratchet Protocols Based on Logic of Events." Applied Sciences (2076-3417), vol. 15, no. 13, 2025, p. 6964, https://doi.org/10.3390/app15136964.