Formal Analysis of Ratchet Protocols Based on Logic of Events.
Saved in:
| Title: | Formal Analysis of Ratchet Protocols Based on Logic of Events. |
|---|---|
| Authors: | Xiao, Meihua1, Wan, Hongbin1,2, wanhongbin@ecjtu.edu.cn, Fan, Hongming1,2, Shao, Huaibin2, Li, Zehuan1, Yang, Ke1 |
| Source: | Applied Sciences (2076-3417); Jul2025, Vol. 15 Issue 13, p6964, 25p |
| Database: | Applied Science & Technology Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
Be the first to leave a comment!
