Xiao, M., Wan, H., Fan, H., Shao, H., Li, Z., & Yang, K. Formal Analysis of Ratchet Protocols Based on Logic of Events. MDPI AG.
Chicago Style (17th ed.) CitationXiao, Meihua, Hongbin Wan, Hongming Fan, Huaibin Shao, Zehuan Li, and Ke Yang. Formal Analysis of Ratchet Protocols Based on Logic of Events. MDPI AG.
MLA (9th ed.) CitationXiao, Meihua, et al. Formal Analysis of Ratchet Protocols Based on Logic of Events. MDPI AG.
Warning: These citations may not always be 100% accurate.